The bear chases the tiger. The bear is round. The tiger is round. If someone sees the bear then they like the tiger. If someone chases the tiger then they are nice.
The bear sees the bear.
@0: The bear chases the tiger.[(triple1)] The bear is round.[(triple2)] The tiger is round.[(triple3)] @1: The bear is nice.[(((triple1) -> rule2))]