The bald eagle chases the bear. The bald eagle sees the bear. The bald eagle visits the bear. The bear is blue. The bear is young. The bear sees the bald eagle. The bear visits the bald eagle. If someone sees the bear then the bear is green. If the bald eagle visits the bear and the bear chases the bald eagle then the bald eagle is round. If someone chases the bear and they are big then they visit the bald eagle. If someone sees the bald eagle then they are big. If someone chases the bear and the bear sees the bald eagle then they are round. If the bald eagle is young then the bald eagle sees the bear. If someone is green and they chase the bear then the bear visits the bald eagle. If someone sees the bald eagle then they chase the bear.
The bald eagle is not big.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is blue.[(triple4)] The bear is young.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear visits the bald eagle.[(triple7 OR ((((triple2) -> rule1) ((triple6) -> rule8)) -> rule7) OR ((((triple6) -> rule8) ((triple6) -> rule4)) -> rule3))] @1: The bald eagle is round.[(((triple1 triple6) -> rule5))] The bear chases the bear.[(((triple6) -> rule8))] The bear is big.[(((triple6) -> rule4))] The bear is green.[(((triple2) -> rule1))] @2: The bear is round.[(((((triple6) -> rule8) triple6) -> rule5))]