The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the squirrel. The bald eagle sees the tiger. The squirrel eats the bald eagle. The squirrel sees the bald eagle. The tiger eats the bald eagle. The tiger is cold. The tiger does not see the squirrel. If something eats the squirrel then it does not eat the bald eagle. If something eats the tiger and it does not eat the squirrel then it likes the bald eagle. If something is rough then it eats the tiger. If the bald eagle eats the tiger and the bald eagle does not eat the squirrel then the squirrel is kind. If something is cold and not rough then it likes the tiger. If the bald eagle does not like the tiger then the tiger is blue.
The bald eagle is not rough.
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle sees the tiger.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel sees the bald eagle.[(triple7)] The tiger does not see the squirrel.[(triple10)] The tiger eats the bald eagle.[(triple8)] The tiger is cold.[(triple9)] @1: The bald eagle eats the tiger.[(((triple3) -> rule3))]