The cat eats the cow. The cow is cold. The lion eats the cow. The squirrel eats the lion. If something likes the squirrel and the squirrel likes the cow then the cow is rough. If something needs the squirrel and it eats the cat then the cat likes the squirrel. If something needs the lion then the lion likes the cat. If the lion needs the squirrel and the squirrel needs the lion then the lion eats the squirrel. If something needs the squirrel then the squirrel is cold. If something is cold then it needs the squirrel.
The cow is rough.
@0: The cat eats the cow.[(triple1)] The cow is cold.[(triple2)] The lion eats the cow.[(triple3)] The squirrel eats the lion.[(triple4)] @1: The cow needs the squirrel.[(((triple2) -> rule6))] @2: The squirrel is cold.[(((((triple2) -> rule6)) -> rule5))] @3: The squirrel needs the squirrel.[(((((((triple2) -> rule6)) -> rule5)) -> rule6))]