The cow eats the squirrel. The squirrel does not need the cow. If something needs the squirrel and the squirrel does not see the cow then it is young. If something eats the squirrel then it sees the squirrel.
The cow eats the cow.
@0: The cow eats the squirrel.[(triple1)] The squirrel does not need the cow.[(triple2)] @1: The cow sees the squirrel.[(((triple1) -> rule2))]