The bear is red. The rabbit visits the tiger. The tiger eats the bear. If someone visits the rabbit then they are cold. If someone visits the tiger then the tiger visits the rabbit. All cold people are red.
The tiger does not visit the rabbit.
@0: The bear is red.[(triple1)] The rabbit visits the tiger.[(triple2)] The tiger eats the bear.[(triple3)] @1: The tiger visits the rabbit.[(((triple2) -> rule2))] @2: The tiger is cold.[(((((triple2) -> rule2)) -> rule1))] @3: The tiger is red.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]