The bear is cold. The tiger likes the bear. If someone is big and they like the bear then they like the tiger. If someone is blue then they see the tiger. If someone is cold and they see the tiger then they see the bear. Cold people are blue. All nice people are blue. Big, blue people are cold.
The bear does not like the tiger.
@0: The bear is cold.[(triple1)] The tiger likes the bear.[(triple2)] @1: The bear is blue.[(((triple1) -> rule4))] @2: The bear sees the tiger.[(((((triple1) -> rule4)) -> rule2))] @3: The bear sees the bear.[(((triple1 ((((triple1) -> rule4)) -> rule2)) -> rule3))]