The cat is not young. The cow needs the tiger. The squirrel is nice. The tiger needs the cat. If something visits the cow then it does not need the cat. If the cow needs the tiger then the cow visits the cat. If the cow visits the cat then the cow does not eat the cat.
The cat visits the cat.
@0: The cat is not young.[(triple1)] The cow needs the tiger.[(triple2)] The squirrel is nice.[(triple3)] The tiger needs the cat.[(triple4)] @1: The cow visits the cat.[(((triple2) -> rule2))] @2: The cow does not eat the cat.[(((((triple2) -> rule2)) -> rule3))]