The bald eagle chases the tiger. The bald eagle eats the squirrel. The bald eagle eats the tiger. The bald eagle is big. The bald eagle is young. The bald eagle needs the squirrel. The bald eagle needs the tiger. The squirrel is kind. The squirrel is red. The squirrel needs the bald eagle. The tiger chases the bald eagle. The tiger is young. If something is big and young then it needs the tiger. If something needs the squirrel and the squirrel is rough then the squirrel needs the bald eagle. If something eats the tiger then the tiger eats the squirrel. If something is big then it eats the squirrel. If something eats the tiger and the tiger needs the bald eagle then it chases the bald eagle. If something is big and rough then it eats the squirrel.
The bald eagle is young.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the squirrel.[(triple2 OR ((triple4) -> rule4))] The bald eagle eats the tiger.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the squirrel.[(triple6)] The bald eagle needs the tiger.[(triple7 OR ((triple4 triple5) -> rule1))] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the bald eagle.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger is young.[(triple12)] @1: The tiger eats the squirrel.[(((triple3) -> rule3))]