The cat is cold. The tiger sees the cat. If someone eats the cat then the cat is green. If someone is big and they visit the cat then they see the cat. If someone is red and big then they see the cat. If the cat visits the tiger then the tiger visits the cat. If someone visits the tiger then the tiger is red. If the tiger sees the cat then the cat is green. If someone is cold then they visit the tiger. If someone sees the cat and the cat sees the tiger then the cat is young.
The tiger is young.
@0: The cat is cold.[(triple1)] The tiger sees the cat.[(triple2)] @1: The cat is green.[(((triple2) -> rule6))] The cat visits the tiger.[(((triple1) -> rule7))] @2: The tiger is red.[(((((triple1) -> rule7)) -> rule5))] The tiger visits the cat.[(((((triple1) -> rule7)) -> rule4))]