Deductive Reasoning In 100 Seconds