The bear chases the tiger. The bear eats the tiger. The bear is blue. The bear is green. The bear likes the tiger. The tiger eats the bear. The tiger is red. If someone is red then they chase the bear. If the bear eats the tiger then the bear is green.
The tiger eats the tiger.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple4 OR ((triple2) -> rule2))] The bear likes the tiger.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is red.[(triple7)] @1: The tiger chases the bear.[(((triple7) -> rule1))]