The cat chases the tiger. The dog does not chase the cat. The tiger chases the dog. If someone chases the cat and the cat is not round then the cat is nice. If someone chases the tiger then they see the dog. If someone is red and they see the cat then they chase the dog. If someone sees the dog then they visit the cat. If someone chases the tiger and they do not see the cat then they are red. If the cat is blue and the cat does not chase the tiger then the tiger is not nice. If someone visits the tiger then the tiger is not nice. If the tiger chases the dog then the dog chases the tiger.
The cat does not visit the tiger.
@0: The cat chases the tiger.[(triple1)] The dog does not chase the cat.[(triple2)] The tiger chases the dog.[(triple3)] @1: The cat sees the dog.[(((triple1) -> rule2))] The dog chases the tiger.[(((triple3) -> rule8))] @2: The cat visits the cat.[(((((triple1) -> rule2)) -> rule4))] The dog sees the dog.[(((((triple3) -> rule8)) -> rule2))] @3: The dog visits the cat.[(((((((triple3) -> rule8)) -> rule2)) -> rule4))]