The cow is big. The cow is blue. The cow likes the squirrel. The cow needs the squirrel. The squirrel is kind. The squirrel likes the cow. The squirrel needs the cow. If something likes the squirrel and it eats the squirrel then it needs the cow. If something likes the cow and the cow is big then the cow eats the squirrel.
The squirrel is big.
@0: The cow is big.[(triple1)] The cow is blue.[(triple2)] The cow likes the squirrel.[(triple3)] The cow needs the squirrel.[(triple4)] The squirrel is kind.[(triple5)] The squirrel likes the cow.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The cow eats the squirrel.[(((triple6 triple1) -> rule2))] @2: The cow needs the cow.[(((triple3 ((triple6 triple1) -> rule2)) -> rule1))]