The bear eats the tiger. The bear is red. The squirrel is green. The squirrel likes the tiger. The squirrel needs the bear. The tiger eats the bear. The tiger eats the squirrel. The tiger is red. The tiger is young. The tiger likes the bear. The tiger likes the squirrel. The tiger needs the squirrel. If something eats the tiger and it is red then it likes the tiger. If something is cold and it likes the bear then it eats the squirrel. If something likes the tiger then the tiger eats the bear.
The squirrel is young.
@0: The bear eats the tiger.[(triple1)] The bear is red.[(triple2)] The squirrel is green.[(triple3)] The squirrel likes the tiger.[(triple4)] The squirrel needs the bear.[(triple5)] The tiger eats the bear.[(triple6 OR ((triple4) -> rule3) OR ((((triple1 triple2) -> rule1)) -> rule3))] The tiger eats the squirrel.[(triple7)] The tiger is red.[(triple8)] The tiger is young.[(triple9)] The tiger likes the bear.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger needs the squirrel.[(triple12)] @1: The bear likes the tiger.[(((triple1 triple2) -> rule1))]