Methods, systems, and apparatus, including computer programs language encoded on a computer storage medium for a word-to-logic system whereby input text is used to extract the symmetry of word relationships, quantify symmetry, and negate symmetrical relationships into logical equations evaluate logical equation using an automated theorem prover and return the logical state of the input text. A real-time logic engine utilizes the derived logical equations as a set of 'a priori' assumptions such that a user can query the system and receive an output that indicates the logical state of the query.
WORD POLARITY A MODEL FOR INFERRING LOGIC FROM SENTENCES