The mouse eats the squirrel. The mouse is big. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is round. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel needs the mouse. The squirrel visits the mouse. If the squirrel is kind and the squirrel eats the mouse then the mouse is round. If something needs the mouse and it eats the squirrel then the mouse is round. If something is cold and round then it needs the squirrel. If something eats the squirrel then it visits the squirrel. If something visits the mouse then it eats the squirrel. If something is cold and it needs the mouse then the mouse eats the squirrel.
The squirrel needs the squirrel.
@0: The mouse eats the squirrel.[(triple1 OR ((triple12 triple15) -> rule6))] The mouse is big.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is kind.[(triple5)] The mouse is round.[(triple6 OR ((triple13 triple9) -> rule1) OR ((triple15 ((triple16) -> rule5)) -> rule2))] The mouse needs the squirrel.[(triple7 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple13 triple9) -> rule1)) -> rule3) OR ((triple4 ((triple15 ((triple16) -> rule5)) -> rule2)) -> rule3))] The mouse visits the squirrel.[(triple8 OR ((triple1) -> rule4) OR ((((triple12 triple15) -> rule6)) -> rule4))] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The squirrel eats the squirrel.[(((triple16) -> rule5))] The squirrel needs the squirrel.[(((triple12 triple14) -> rule3))] @2: The squirrel visits the squirrel.[(((((triple16) -> rule5)) -> rule4))]