The bear chases the rabbit. The bear is cold. The rabbit chases the bear. If something chases the bear then it sees the rabbit. If something sees the rabbit then the rabbit sees the bear.
The bear does not see the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear is cold.[(triple2)] The rabbit chases the bear.[(triple3)] @1: The rabbit sees the rabbit.[(((triple3) -> rule1))] @2: The rabbit sees the bear.[(((((triple3) -> rule1)) -> rule2))]