Introduction - If you have any usage issues, please Google them yourself
based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve the propositional logic of automatic reasoning. Put the problem to be solved as a proposition to prove, with the goal being negated formula and shape into a phrase and then added to the Proposition formula to concentrate, digestion system for joint inversion sets and derived an empty phrase (NIL), resulting in a contradiction.