The cat eats the dog. The dog visits the cat. If the dog eats the cat and the cat eats the dog then the dog sees the cat. If something eats the dog and it visits the dog then it eats the cat. If the cat is nice then the cat sees the dog. If something is nice then it is big. If something is blue and it visits the dog then it sees the dog. If something visits the cat then it sees the dog. If something visits the cat then the cat visits the dog. If something visits the cat and the cat visits the dog then the dog sees the cat.
The dog does not visit the cat.
@0: The cat eats the dog.[(triple1)] The dog visits the cat.[(triple2)] @1: The cat visits the dog.[(((triple2) -> rule7))] The dog sees the dog.[(((triple2) -> rule6))] @2: The cat eats the cat.[(((triple1 ((triple2) -> rule7)) -> rule2))] The dog sees the cat.[(((triple2 ((triple2) -> rule7)) -> rule8))]