The cat is nice. The cow needs the cat. The cow needs the mouse. The mouse needs the cat. The squirrel eats the cow. The squirrel is big. The squirrel likes the mouse. If someone eats the squirrel then the squirrel is cold. If someone likes the squirrel then they are cold. If the cat eats the cow then the cow likes the squirrel. If someone likes the mouse and the mouse likes the squirrel then they eat the cow. If someone is cold then they are nice. If someone likes the mouse then the mouse likes the squirrel.
The mouse likes the squirrel.
@0: The cat is nice.[(triple1)] The cow needs the cat.[(triple2)] The cow needs the mouse.[(triple3)] The mouse needs the cat.[(triple4)] The squirrel eats the cow.[(triple5 OR ((triple7 ((triple7) -> rule6)) -> rule4))] The squirrel is big.[(triple6)] The squirrel likes the mouse.[(triple7)] @1: The mouse likes the squirrel.[(((triple7) -> rule6))] @2: The mouse is cold.[(((((triple7) -> rule6)) -> rule2))] @3: The mouse is nice.[(((((((triple7) -> rule6)) -> rule2)) -> rule5))]