The bald eagle chases the bear. The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle needs the bear. The bald eagle visits the bear. The bear chases the bald eagle. The bear is blue. The bear is cold. The bear is kind. The bear is young. The bear needs the bald eagle. The bear visits the bald eagle. If something visits the bear and the bear visits the bald eagle then the bear chases the bald eagle. If something is round and it does not need the bear then the bear chases the bald eagle. If something is blue and it chases the bald eagle then the bald eagle is cold. If something is kind then it chases the bear. If something needs the bear and the bear is kind then it is cold. If something chases the bald eagle and it chases the bear then the bear visits the bald eagle. If something is round then it visits the bear. If something visits the bear and the bear chases the bald eagle then the bear is round.
The bald eagle does not visit the bald eagle.
@0: The bald eagle chases the bear.[(triple1 OR ((triple4) -> rule4))] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3 OR ((triple10 triple9) -> rule3) OR ((triple7 triple12) -> rule5) OR ((triple10 ((triple8 triple15) -> rule1)) -> rule3) OR ((triple10 ((((triple5) -> rule7) triple15) -> rule1)) -> rule3))] The bald eagle is kind.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the bear.[(triple7)] The bald eagle visits the bear.[(triple8 OR ((triple5) -> rule7))] The bear chases the bald eagle.[(triple9 OR ((triple8 triple15) -> rule1) OR ((((triple5) -> rule7) triple15) -> rule1))] The bear is blue.[(triple10)] The bear is cold.[(triple11)] The bear is kind.[(triple12)] The bear is young.[(triple13)] The bear needs the bald eagle.[(triple14)] The bear visits the bald eagle.[(triple15 OR ((triple9 ((triple12) -> rule4)) -> rule6))] @1: The bear chases the bear.[(((triple12) -> rule4))] The bear is round.[(((triple8 triple9) -> rule8) OR ((triple8 ((triple8 triple15) -> rule1)) -> rule8) OR ((((triple5) -> rule7) triple9) -> rule8) OR ((((triple5) -> rule7) ((triple8 triple15) -> rule1)) -> rule8) OR ((triple8 ((((triple5) -> rule7) triple15) -> rule1)) -> rule8) OR ((((triple5) -> rule7) ((((triple5) -> rule7) triple15) -> rule1)) -> rule8))] @2: The bear visits the bear.[(((((triple8 triple9) -> rule8)) -> rule7) OR ((((triple8 ((triple8 triple15) -> rule1)) -> rule8)) -> rule7) OR ((((((triple5) -> rule7) triple9) -> rule8)) -> rule7) OR ((((((triple5) -> rule7) ((triple8 triple15) -> rule1)) -> rule8)) -> rule7) OR ((((triple8 ((((triple5) -> rule7) triple15) -> rule1)) -> rule8)) -> rule7) OR ((((((triple5) -> rule7) ((((triple5) -> rule7) triple15) -> rule1)) -> rule8)) -> rule7))]