The cat is blue. The cat is cold. The tiger is cold. The tiger is red. The tiger is young. The tiger sees the cat. The tiger visits the cat. If something eats the cat and it sees the tiger then the cat is cold. If something visits the cat and it is cold then it eats the cat. If something visits the cat then it is blue. If something visits the tiger and it sees the cat then the tiger visits the cat. If something is blue and red then it eats the tiger. If something visits the cat and the cat is blue then it eats the cat.
The tiger visits the cat.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The tiger is cold.[(triple3)] The tiger is red.[(triple4)] The tiger is young.[(triple5)] The tiger sees the cat.[(triple6)] The tiger visits the cat.[(triple7)] @1: The tiger eats the cat.[(((triple7 triple1) -> rule6) OR ((triple7 triple3) -> rule2))] The tiger is blue.[(((triple7) -> rule3))] @2: The tiger eats the tiger.[(((((triple7) -> rule3) triple4) -> rule5))]