The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle sees the bear. The bear eats the cat. The bear is not cold. The bear is green. The bear is young. The bear needs the cat. The bear sees the bald eagle. The cat eats the bear. The cat is young. The squirrel does not eat the bald eagle. The squirrel eats the bear. The squirrel is green. The squirrel needs the bald eagle. If someone needs the bald eagle and they are not blue then they eat the bear. If someone is green and they see the bald eagle then they eat the bald eagle. If someone eats the bald eagle then the bald eagle needs the bear. If someone sees the squirrel then the squirrel eats the cat. If someone eats the bear then the bear eats the squirrel. If someone eats the squirrel then the squirrel needs the bear. If the bald eagle needs the bear and the bald eagle is blue then the bear is not big. If the bear is not big and the bear does not eat the bald eagle then the bald eagle does not eat the cat.
The bald eagle eats the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear eats the cat.[(triple5)] The bear is green.[(triple7)] The bear is not cold.[(triple6)] The bear is young.[(triple8)] The bear needs the cat.[(triple9)] The bear sees the bald eagle.[(triple10)] The cat eats the bear.[(triple11)] The cat is young.[(triple12)] The squirrel does not eat the bald eagle.[(triple13)] The squirrel eats the bear.[(triple14)] The squirrel is green.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The bear eats the bald eagle.[(((triple7 triple10) -> rule2))] The bear eats the squirrel.[(((triple11) -> rule5) OR ((triple14) -> rule5))] @2: The bald eagle needs the bear.[(((((triple7 triple10) -> rule2)) -> rule3))] The squirrel needs the bear.[(((((triple11) -> rule5)) -> rule6) OR ((((triple14) -> rule5)) -> rule6))] @3: The bear is not big.[(((((((triple7 triple10) -> rule2)) -> rule3) triple2) -> rule7))]