The bear eats the squirrel. The bear is big. The bear is kind. The bear likes the squirrel. The bear needs the squirrel. The squirrel eats the tiger. The squirrel is kind. The squirrel likes the bear. The squirrel likes the tiger. The squirrel needs the tiger. The tiger eats the bear. The tiger is cold. The tiger is kind. The tiger likes the bear. The tiger needs the bear. If something eats the squirrel and the squirrel eats the bear then the squirrel likes the tiger. If something eats the tiger and the tiger likes the bear then the bear is big. If something is kind then it is cold. If something likes the squirrel then it is big. If the bear needs the squirrel and the bear is green then the squirrel eats the bear. If something likes the tiger and the tiger eats the bear then the bear is green. If the bear needs the tiger then the bear eats the tiger. If the squirrel is cold then the squirrel is young.
The squirrel eats the tiger.
@0: The bear eats the squirrel.[(triple1)] The bear is big.[(triple2 OR ((triple4) -> rule4) OR ((triple6 triple14) -> rule2))] The bear is kind.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the squirrel.[(triple5)] The squirrel eats the tiger.[(triple6)] The squirrel is kind.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger eats the bear.[(triple11)] The tiger is cold.[(triple12 OR ((triple13) -> rule3))] The tiger is kind.[(triple13)] The tiger likes the bear.[(triple14)] The tiger needs the bear.[(triple15)] @1: The bear is cold.[(((triple3) -> rule3))] The bear is green.[(((triple9 triple11) -> rule6))] The squirrel is cold.[(((triple7) -> rule3))] @2: The squirrel eats the bear.[(((triple5 ((triple9 triple11) -> rule6)) -> rule5))] The squirrel is young.[(((((triple7) -> rule3)) -> rule8))]