Logical Reasoning in Formal and Everyday Reasoning Tasks | Synapse