The bald eagle chases the squirrel. The bear chases the squirrel. The bear chases the tiger. The bear is green. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel is blue. The squirrel sees the tiger. The tiger chases the bear. The tiger needs the squirrel. If the squirrel chases the tiger then the tiger chases the bear. If someone is cold and they see the tiger then the tiger is red. If someone needs the squirrel and they see the bald eagle then the bald eagle is cold. If someone is cold then they chase the bald eagle. If someone sees the squirrel and they need the tiger then the tiger sees the bear. If the bear needs the squirrel and the bear is green then the squirrel sees the tiger. If someone is cold then they chase the bald eagle. Blue people are cold.
The bear chases the bear.
@0: The bald eagle chases the squirrel.[(triple1)] The bear chases the squirrel.[(triple2)] The bear chases the tiger.[(triple3)] The bear is green.[(triple4)] The squirrel chases the bald eagle.[(triple5 OR ((((triple7) -> rule8)) -> rule4) OR ((((triple7) -> rule8)) -> rule7))] The squirrel chases the tiger.[(triple6)] The squirrel is blue.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the bear.[(triple9 OR ((triple6) -> rule1))] The tiger needs the squirrel.[(triple10)] @1: The squirrel is cold.[(((triple7) -> rule8))] @2: The tiger is red.[(((((triple7) -> rule8) triple8) -> rule2))]