The cat does not eat the tiger. The tiger eats the cat. If something sees the cat and the cat sees the tiger then the tiger is not cold. If something eats the cat then the cat visits the tiger. If something eats the cat and it visits the cat then it visits the tiger. If something sees the tiger and it is kind then the tiger visits the cat. If the tiger eats the cat and the cat visits the tiger then the cat sees the tiger. If something is cold then it sees the cat. If something visits the cat and the cat is green then the cat is blue. If something sees the cat and the cat does not visit the tiger then the cat is green.
The cat sees the cat.
@0: The cat does not eat the tiger.[(triple1)] The tiger eats the cat.[(triple2)] @1: The cat visits the tiger.[(((triple2) -> rule2))] @2: The cat sees the tiger.[(((triple2 ((triple2) -> rule2)) -> rule5))]