The cat visits the dog. The dog eats the tiger. The tiger visits the dog. If someone is kind and green then they are big. If someone eats the tiger then the tiger is red. If someone eats the cat then they see the dog. If someone sees the cat then they visit the cat. If the dog visits the tiger then the dog visits the cat. If someone is red then they see the cat.
The tiger does not see the cat.
@0: The cat visits the dog.[(triple1)] The dog eats the tiger.[(triple2)] The tiger visits the dog.[(triple3)] @1: The tiger is red.[(((triple2) -> rule2))] @2: The tiger sees the cat.[(((((triple2) -> rule2)) -> rule6))] @3: The tiger visits the cat.[(((((((triple2) -> rule2)) -> rule6)) -> rule4))]