The bald eagle visits the tiger. The cat needs the tiger. The rabbit sees the bald eagle. The tiger is red. If someone is red then they need the tiger. If someone sees the bald eagle and they do not need the rabbit then the bald eagle visits the rabbit. If someone sees the tiger then the tiger does not see the bald eagle.
The cat visits the cat.
@0: The bald eagle visits the tiger.[(triple1)] The cat needs the tiger.[(triple2)] The rabbit sees the bald eagle.[(triple3)] The tiger is red.[(triple4)] @1: The tiger needs the tiger.[(((triple4) -> rule1))]