The cow needs the dog. The dog sees the cow. The squirrel is round. If the squirrel is round then the squirrel sees the dog. If something needs the squirrel and it needs the dog then it likes the squirrel. If something sees the dog then it likes the cow. If something likes the dog and it sees the squirrel then the dog sees the cow. If something sees the cow then the cow likes the dog. If something is big and it sees the squirrel then it is round. If something needs the dog and it is big then it likes the squirrel. If something is round then it likes the cow.
The cow does not like the squirrel.
@0: The cow needs the dog.[(triple1)] The dog sees the cow.[(triple2)] The squirrel is round.[(triple3)] @1: The cow likes the dog.[(((triple2) -> rule5))] The squirrel likes the cow.[(((triple3) -> rule8) OR ((((triple3) -> rule1)) -> rule3))] The squirrel sees the dog.[(((triple3) -> rule1))]