Comment by conceit

People have an OK grasp of formal logic, that is the formalism. It's learned at an early age, it's prerequisite for deductive (or inductive?) learning actually. Most might lack the cognitive ability to exercise those formalism in an abstract synthesis into long formulas.