The mouse eats the squirrel. The mouse is cold. The mouse is green. The mouse is red. The mouse is round. The mouse is young. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the mouse. The squirrel visits the mouse. If the mouse visits the squirrel then the squirrel eats the mouse. If someone is red then they visit the squirrel. If the squirrel is round and the squirrel likes the mouse then the mouse is round. If someone is round and they visit the mouse then the mouse visits the squirrel. If someone visits the mouse and the mouse visits the squirrel then the mouse likes the squirrel. If someone likes the squirrel and the squirrel is red then they visit the squirrel.
The mouse is not round.
@0: The mouse eats the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5 OR ((triple13 triple15) -> rule3))] The mouse is young.[(triple6)] The mouse likes the squirrel.[(triple7 OR ((triple16 triple8) -> rule5) OR ((triple16 ((triple4) -> rule2)) -> rule5) OR ((triple16 ((triple13 triple16) -> rule4)) -> rule5))] The mouse visits the squirrel.[(triple8 OR ((triple4) -> rule2) OR ((triple13 triple16) -> rule4) OR ((triple7 triple12) -> rule6))] The squirrel eats the mouse.[(triple9 OR ((triple8) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((triple13 triple16) -> rule4)) -> rule1) OR ((((triple7 triple12) -> rule6)) -> rule1))] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The squirrel visits the squirrel.[(((triple12) -> rule2))]