The bear is cold. The tiger needs the bear. The tiger sees the bear. If something needs the bear then it sees the tiger. If the bear likes the tiger and the bear is red then the bear needs the tiger. If something needs the bear and it is cold then the bear is round.
The bear does not see the tiger.
@0: The bear is cold.[(triple1)] The tiger needs the bear.[(triple2)] The tiger sees the bear.[(triple3)] @1: The tiger sees the tiger.[(((triple2) -> rule1))]