The cow is red. The squirrel eats the cow. If the squirrel needs the cow and the squirrel is young then the squirrel likes the cow. If something likes the cow and it is round then the cow is rough. If something likes the squirrel and the squirrel eats the cow then the cow needs the squirrel. If something needs the squirrel then the squirrel needs the cow. If the cow is red then the cow likes the squirrel. If something needs the cow and it likes the squirrel then it eats the squirrel. If the cow needs the squirrel and the squirrel eats the cow then the squirrel needs the cow. If something eats the cow then the cow is young.
The cow does not eat the squirrel.
@0: The cow is red.[(triple1)] The squirrel eats the cow.[(triple2)] @1: The cow is young.[(((triple2) -> rule8))] The cow likes the squirrel.[(((triple1) -> rule5))] @2: The cow needs the squirrel.[(((((triple1) -> rule5) triple2) -> rule3))] @3: The squirrel needs the cow.[(((((((triple1) -> rule5) triple2) -> rule3)) -> rule4) OR ((((((triple1) -> rule5) triple2) -> rule3) triple2) -> rule7))]