The bear chases the tiger. The bear eats the tiger. The bear is blue. The bear is green. The bear needs the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is cold. The tiger is green. The tiger needs the bear. If someone is cold then they need the tiger. If someone needs the tiger then they eat the bear. If someone is blue and they chase the bear then they eat the bear. If someone chases the tiger then the tiger eats the bear. If the tiger is kind then the tiger chases the bear. If someone chases the tiger and they eat the bear then they are blue.
The tiger is not cold.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3 OR ((triple1 ((triple5) -> rule2)) -> rule6))] The bear is green.[(triple4)] The bear needs the tiger.[(triple5)] The tiger chases the bear.[(triple6)] The tiger eats the bear.[(triple7 OR ((triple1) -> rule4) OR ((((triple8) -> rule1)) -> rule2))] The tiger is cold.[(triple8)] The tiger is green.[(triple9)] The tiger needs the bear.[(triple10)] @1: The bear eats the bear.[(((triple5) -> rule2))] The tiger needs the tiger.[(((triple8) -> rule1))]