The bear needs the cat. The cat chases the bear. The cat is round. If someone chases the cat then they see the bear. If someone chases the bear then the bear chases the cat.
The bear does not see the bear.
@0: The bear needs the cat.[(triple1)] The cat chases the bear.[(triple2)] The cat is round.[(triple3)] @1: The bear chases the cat.[(((triple2) -> rule2))] @2: The bear sees the bear.[(((((triple2) -> rule2)) -> rule1))]