The cow is big. The cow is nice. The cow needs the mouse. The mouse eats the cow. The mouse likes the cow. The mouse needs the cow. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel needs the cow. If something needs the mouse then it eats the cow. If the cow likes the mouse then the mouse is cold. If the cow needs the mouse and the mouse is cold then the mouse is nice. If something is nice then it likes the mouse. If something eats the cow and the cow eats the mouse then it eats the mouse. If something likes the squirrel and it is nice then the squirrel likes the cow.
The cow does not like the mouse.
@0: The cow is big.[(triple1)] The cow is nice.[(triple2)] The cow needs the mouse.[(triple3)] The mouse eats the cow.[(triple4)] The mouse likes the cow.[(triple5)] The mouse needs the cow.[(triple6)] The mouse needs the squirrel.[(triple7)] The squirrel eats the mouse.[(triple8)] The squirrel is big.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The cow eats the cow.[(((triple3) -> rule1))] The cow likes the mouse.[(((triple2) -> rule4))] @2: The mouse is cold.[(((((triple2) -> rule4)) -> rule2))] @3: The mouse is nice.[(((triple3 ((((triple2) -> rule4)) -> rule2)) -> rule3))] @4: The mouse likes the mouse.[(((((triple3 ((((triple2) -> rule4)) -> rule2)) -> rule3)) -> rule4))]