The bear eats the squirrel. The bear is not cold. The bear is young. The rabbit eats the bear. The rabbit likes the bear. The rabbit likes the squirrel. The rabbit does not like the tiger. The rabbit does not see the bear. The squirrel is blue. The squirrel is young. The squirrel does not like the bear. The squirrel does not like the tiger. The squirrel sees the tiger. The tiger does not eat the rabbit. The tiger is kind. If the rabbit sees the tiger and the tiger is kind then the tiger likes the bear. If something eats the tiger then the tiger eats the rabbit. If something likes the squirrel then it sees the tiger.
The tiger does not eat the tiger.
@0: The bear eats the squirrel.[(triple1)] The bear is not cold.[(triple2)] The bear is young.[(triple3)] The rabbit does not like the tiger.[(triple7)] The rabbit does not see the bear.[(triple8)] The rabbit eats the bear.[(triple4)] The rabbit likes the bear.[(triple5)] The rabbit likes the squirrel.[(triple6)] The squirrel does not like the bear.[(triple11)] The squirrel does not like the tiger.[(triple12)] The squirrel is blue.[(triple9)] The squirrel is young.[(triple10)] The squirrel sees the tiger.[(triple13)] The tiger does not eat the rabbit.[(triple14)] The tiger is kind.[(triple15)] @1: The rabbit sees the tiger.[(((triple6) -> rule3))] @2: The tiger likes the bear.[(((((triple6) -> rule3) triple15) -> rule1))]