The bald eagle sees the bear. The bear sees the tiger. The mouse does not see the bald eagle. The tiger eats the bear. If something eats the bear then the bear is green. If the bear is green then the bear is not cold. All nice, cold things are green.
The tiger is not green.
@0: The bald eagle sees the bear.[(triple1)] The bear sees the tiger.[(triple2)] The mouse does not see the bald eagle.[(triple3)] The tiger eats the bear.[(triple4)] @1: The bear is green.[(((triple4) -> rule1))] @2: The bear is not cold.[(((((triple4) -> rule1)) -> rule2))]