The cow is red. The cow is round. The cow needs the mouse. The cow visits the squirrel. The mouse eats the cow. The mouse eats the squirrel. The mouse needs the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is red. If the cow visits the mouse and the cow eats the squirrel then the squirrel needs the mouse. If someone is red then they eat the cow. If someone eats the cow and they need the squirrel then the squirrel is young. If someone eats the mouse then they visit the cow. If the squirrel is young then the squirrel needs the mouse. If someone needs the mouse and the mouse needs the squirrel then they are nice.
The squirrel is nice.
@0: The cow is red.[(triple1)] The cow is round.[(triple2)] The cow needs the mouse.[(triple3)] The cow visits the squirrel.[(triple4)] The mouse eats the cow.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is red.[(triple10)] @1: The cow eats the cow.[(((triple1) -> rule2))] The cow is nice.[(((triple3 triple7) -> rule6))] The squirrel eats the cow.[(((triple10) -> rule2))] The squirrel is young.[(((triple5 triple7) -> rule3))] The squirrel visits the cow.[(((triple9) -> rule4))] @2: The squirrel needs the mouse.[(((((triple5 triple7) -> rule3)) -> rule5))] @3: The squirrel is nice.[(((((((triple5 triple7) -> rule3)) -> rule5) triple7) -> rule6))]