The bald eagle chases the tiger. The bald eagle sees the squirrel. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel is blue. The squirrel is red. The squirrel is rough. The squirrel sees the bald eagle. The squirrel sees the tiger. The tiger chases the squirrel. The tiger likes the bald eagle. The tiger does not like the squirrel. All blue things are cold. If something is cold then it does not like the bald eagle. If the bald eagle likes the squirrel and the squirrel chases the tiger then the squirrel is cold.
The squirrel is not red.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The squirrel chases the bald eagle.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is red.[(triple6)] The squirrel is rough.[(triple7)] The squirrel sees the bald eagle.[(triple8)] The squirrel sees the tiger.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger does not like the squirrel.[(triple12)] The tiger likes the bald eagle.[(triple11)] @1: The squirrel is cold.[(((triple5) -> rule1))] @2: The squirrel does not like the bald eagle.[(((((triple5) -> rule1)) -> rule2))]