The bear chases the tiger. The bear is not nice. The bear needs the tiger. The bear visits the tiger. The tiger does not chase the bear. The tiger is not cold. The tiger is nice. The tiger is round. The tiger needs the bear. The tiger visits the bear. If something is round and it needs the tiger then it chases the bear. If something needs the tiger then the tiger is green.
The tiger needs the bear.
@0: The bear chases the tiger.[(triple1)] The bear is not nice.[(triple2)] The bear needs the tiger.[(triple3)] The bear visits the tiger.[(triple4)] The tiger does not chase the bear.[(triple5)] The tiger is nice.[(triple7)] The tiger is not cold.[(triple6)] The tiger is round.[(triple8)] The tiger needs the bear.[(triple9)] The tiger visits the bear.[(triple10)] @1: The tiger is green.[(((triple3) -> rule2))]