The bear is cold. The bear is red. The bear sees the tiger. The rabbit is blue. The rabbit does not like the bear. The rabbit likes the squirrel. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel is blue. The squirrel is rough. The squirrel likes the bear. The squirrel sees the rabbit. The squirrel sees the tiger. The squirrel visits the tiger. The tiger does not see the bear. If someone sees the squirrel and they are not kind then the squirrel visits the tiger. If someone sees the bear then the bear likes the tiger.
The tiger is cold.
@0: The bear is cold.[(triple1)] The bear is red.[(triple2)] The bear sees the tiger.[(triple3)] The rabbit does not like the bear.[(triple5)] The rabbit is blue.[(triple4)] The rabbit likes the squirrel.[(triple6)] The rabbit sees the bear.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel sees the rabbit.[(triple12)] The squirrel sees the tiger.[(triple13)] The squirrel visits the tiger.[(triple14)] The tiger does not see the bear.[(triple15)] @1: The bear likes the tiger.[(((triple7) -> rule2))]