The bear eats the squirrel. The bear eats the tiger. The bear is blue. The bear is red. The cow eats the squirrel. The cow eats the tiger. The cow sees the tiger. The squirrel eats the tiger. The squirrel needs the bear. The squirrel needs the cow. The squirrel needs the tiger. The tiger eats the cow. The tiger eats the squirrel. The tiger is young. The tiger needs the bear. The tiger needs the squirrel. If someone is cold then they see the bear. Red people are cold. If someone needs the tiger then the tiger is red.
The squirrel is not cold.
@0: The bear eats the squirrel.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is red.[(triple4)] The cow eats the squirrel.[(triple5)] The cow eats the tiger.[(triple6)] The cow sees the tiger.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel needs the cow.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger eats the cow.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is young.[(triple14)] The tiger needs the bear.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The bear is cold.[(((triple4) -> rule2))] The tiger is red.[(((triple11) -> rule3))] @2: The bear sees the bear.[(((((triple4) -> rule2)) -> rule1))] The tiger is cold.[(((((triple11) -> rule3)) -> rule2))] @3: The tiger sees the bear.[(((((((triple11) -> rule3)) -> rule2)) -> rule1))]