The bald eagle eats the bear. The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is round. The bald eagle needs the bear. The bald eagle visits the bear. The bear eats the bald eagle. The bear is big. The bear is green. The bear is nice. The bear is round. The bear needs the bald eagle. The bear visits the bald eagle. If something eats the bear then it visits the bald eagle. Cold, big things are round. If the bald eagle is cold and the bald eagle eats the bear then the bald eagle visits the bear. If something visits the bald eagle and it needs the bear then it visits the bear. If something needs the bear and the bear is nice then it visits the bald eagle. If something is nice then it needs the bear.
The bald eagle does not visit the bear.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is round.[(triple6 OR ((triple3 triple2) -> rule2))] The bald eagle needs the bear.[(triple7 OR ((triple5) -> rule6))] The bald eagle visits the bear.[(triple8 OR ((triple3 triple1) -> rule3) OR ((((triple1) -> rule1) triple7) -> rule4) OR ((((triple7 triple12) -> rule5) triple7) -> rule4) OR ((((triple1) -> rule1) ((triple5) -> rule6)) -> rule4) OR ((((triple7 triple12) -> rule5) ((triple5) -> rule6)) -> rule4) OR ((((((triple5) -> rule6) triple12) -> rule5) triple7) -> rule4) OR ((((((triple5) -> rule6) triple12) -> rule5) ((triple5) -> rule6)) -> rule4))] The bear eats the bald eagle.[(triple9)] The bear is big.[(triple10)] The bear is green.[(triple11)] The bear is nice.[(triple12)] The bear is round.[(triple13)] The bear needs the bald eagle.[(triple14)] The bear visits the bald eagle.[(triple15 OR ((((triple12) -> rule6) triple12) -> rule5))] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule1) OR ((triple7 triple12) -> rule5) OR ((((triple5) -> rule6) triple12) -> rule5))] The bear needs the bear.[(((triple12) -> rule6))] @2: The bear visits the bear.[(((triple15 ((triple12) -> rule6)) -> rule4) OR ((((((triple12) -> rule6) triple12) -> rule5) ((triple12) -> rule6)) -> rule4))]