The bald eagle chases the tiger. The bald eagle eats the bear. The bear chases the bald eagle. The bear eats the bald eagle. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is red. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is red. If the squirrel is red and the squirrel eats the bear then the bear eats the squirrel. If someone is red then they eat the squirrel. If someone chases the bald eagle and they chase the squirrel then the squirrel eats the bald eagle. If someone eats the bald eagle and they like the squirrel then they chase the bald eagle. If someone eats the squirrel then the squirrel is nice. If someone likes the squirrel and they chase the bald eagle then the bald eagle eats the tiger. If the tiger chases the bear then the bear chases the tiger. If someone is nice then they are young.
The bear likes the bear.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the bear.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear eats the bald eagle.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is red.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is red.[(triple10)] @1: The squirrel eats the squirrel.[(((triple7) -> rule2))] The tiger eats the squirrel.[(((triple10) -> rule2))] @2: The squirrel is nice.[(((((triple10) -> rule2)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))] @3: The squirrel is young.[(((((((triple10) -> rule2)) -> rule5)) -> rule8) OR ((((((triple7) -> rule2)) -> rule5)) -> rule8))]