The bald eagle chases the squirrel. The bald eagle eats the tiger. The bald eagle is cold. The squirrel eats the bald eagle. The squirrel is rough. The squirrel is round. The squirrel likes the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is blue. Rough people are blue. If someone eats the bald eagle and the bald eagle is blue then the bald eagle eats the tiger. If someone is cold then they eat the tiger. If someone eats the squirrel and they are blue then they are kind. If the tiger eats the bald eagle and the tiger chases the squirrel then the tiger likes the squirrel. If someone likes the squirrel and they eat the tiger then the tiger likes the squirrel.
The bald eagle likes the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the tiger.[(triple2 OR ((triple3) -> rule3))] The bald eagle is cold.[(triple3)] The squirrel eats the bald eagle.[(triple4)] The squirrel is rough.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is blue.[(triple10)] @1: The squirrel is blue.[(((triple5) -> rule1))]