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 does not chase the tiger.
@0: The bear chases the tiger.[(triple1)] The bear is round.[(triple2)] The tiger is round.[(triple3)] @1: The bear is nice.[(((triple1) -> rule2))]