The bear eats the tiger. The tiger eats the bear. If someone needs the tiger and they chase the tiger then they need the bear. If someone chases the tiger and they are not red then they are blue. If someone eats the tiger then the tiger chases the bear. If the tiger is not blue then the tiger chases the bear. If someone chases the tiger and the tiger is red then the tiger chases the bear. If the tiger is nice then the tiger does not chase the bear.
The tiger eats the bear.
@0: The bear eats the tiger.[(triple1)] The tiger eats the bear.[(triple2)] @1: The tiger chases the bear.[(((triple1) -> rule3))]