The cow sees the squirrel. The squirrel is young. If someone needs the squirrel then they need the cow. If someone sees the cow then the cow needs the squirrel. If someone is young then they see the cow.
The cow does not see the cow.
@0: The cow sees the squirrel.[(triple1)] The squirrel is young.[(triple2)] @1: The squirrel sees the cow.[(((triple2) -> rule3))] @2: The cow needs the squirrel.[(((((triple2) -> rule3)) -> rule2))] @3: The cow needs the cow.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]