The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is nice. The squirrel is cold. The tiger eats the bald eagle. The tiger eats the squirrel. The tiger is nice. The tiger needs the bald eagle. All young people are blue. If someone eats the bald eagle then they eat the tiger. If someone eats the bald eagle then they eat the tiger. If someone eats the squirrel and the squirrel is blue then the squirrel chases the bald eagle. If someone is nice and they chase the tiger then the tiger chases the squirrel. If someone eats the tiger and they need the bald eagle then the bald eagle is young.
The squirrel does not need the tiger.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is nice.[(triple5)] The squirrel is cold.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is nice.[(triple9)] The tiger needs the bald eagle.[(triple10)] @1: The tiger chases the squirrel.[(((triple5 triple2) -> rule5))] The tiger eats the tiger.[(((triple7) -> rule2) OR ((triple7) -> rule3))] @2: The bald eagle is young.[(((((triple7) -> rule2) triple10) -> rule6) OR ((((triple7) -> rule3) triple10) -> rule6))] @3: The bald eagle is blue.[(((((((triple7) -> rule2) triple10) -> rule6)) -> rule1) OR ((((((triple7) -> rule3) triple10) -> rule6)) -> rule1))]