Robust Inference in Communication Games with Partial Provability · Study