The rabbit sees the tiger. The tiger is blue. The tiger is cold. If someone visits the rabbit then the rabbit is cold. If someone is cold then they visit the rabbit. If the rabbit sees the tiger then the tiger sees the rabbit.
The tiger does not see the rabbit.
@0: The rabbit sees the tiger.[(triple1)] The tiger is blue.[(triple2)] The tiger is cold.[(triple3)] @1: The tiger sees the rabbit.[(((triple1) -> rule3))] The tiger visits the rabbit.[(((triple3) -> rule2))] @2: The rabbit is cold.[(((((triple3) -> rule2)) -> rule1))] @3: The rabbit visits the rabbit.[(((((((triple3) -> rule2)) -> rule1)) -> rule2))]