Learning Deductive Reasoning through Games of Logic