The bear chases the tiger. The bear eats the tiger. The bear is green. The bear needs the tiger. The tiger chases the bear. The tiger is cold. The tiger needs the bear. If something is cold then it needs the bear. If something is cold and green then it does not need the bear. If something chases the bear and the bear eats the tiger then the tiger does not eat the bear. If something eats the tiger then it chases the tiger. If something chases the bear then it is big. If the bear is big then the bear does not eat the tiger. If something needs the tiger and it does not eat the tiger then it is round. If something is round and not cold then it needs the tiger.
The tiger does not chase the bear.
@0: The bear chases the tiger.[(triple1 OR ((triple2) -> rule4))] The bear eats the tiger.[(triple2)] The bear is green.[(triple3)] The bear needs the tiger.[(triple4)] The tiger chases the bear.[(triple5)] The tiger is cold.[(triple6)] The tiger needs the bear.[(triple7 OR ((triple6) -> rule1))] @1: The tiger does not eat the bear.[(((triple5 triple2) -> rule3))] The tiger is big.[(((triple5) -> rule5))]