The cow does not visit the squirrel. The squirrel needs the cow. All nice things are young. If something is young then it eats the cow. If something visits the squirrel and the squirrel visits the cow then the cow eats the squirrel. If the cow is young and the cow is nice then the cow eats the squirrel. If something needs the cow then the cow is young. If something is rough and red then it visits the squirrel. If something is rough then it does not need the cow. If something is red and it needs the cow then the cow is not red.
The cow visits the squirrel.
@0: The cow does not visit the squirrel.[(triple1)] The squirrel needs the cow.[(triple2)] @1: The cow is young.[(((triple2) -> rule5))] @2: The cow eats the cow.[(((((triple2) -> rule5)) -> rule2))]