The bald eagle eats the dog. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle likes the dog. The bald eagle needs the dog. The dog eats the bald eagle. The dog is green. The dog is nice. The dog is round. The dog likes the bald eagle. The dog needs the bald eagle. If something needs the dog then it needs the bald eagle. If something eats the dog then the dog needs the bald eagle. If something likes the dog then it eats the dog. If something needs the bald eagle and it likes the dog then it eats the dog. If something needs the dog and the dog needs the bald eagle then the dog is big. If something eats the bald eagle and the bald eagle eats the dog then it likes the dog. If something needs the bald eagle then it is rough. If the bald eagle needs the dog then the dog is rough.
The bald eagle does not need the dog.
@0: The bald eagle eats the dog.[(triple1 OR ((triple5) -> rule3) OR ((((triple6) -> rule1) triple5) -> rule4))] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3 OR ((((triple6) -> rule1)) -> rule7))] The bald eagle is round.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle needs the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog is green.[(triple8)] The dog is nice.[(triple9)] The dog is round.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog needs the bald eagle.[(triple12 OR ((triple1) -> rule2) OR ((((triple5) -> rule3)) -> rule2) OR ((((((triple7 triple1) -> rule6)) -> rule3)) -> rule2) OR ((((((triple6) -> rule1) triple5) -> rule4)) -> rule2) OR ((((((triple7 ((triple5) -> rule3)) -> rule6)) -> rule3)) -> rule2) OR ((((((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule3)) -> rule2))] @1: The bald eagle needs the bald eagle.[(((triple6) -> rule1))] The dog is big.[(((triple6 triple12) -> rule5) OR ((triple6 ((triple1) -> rule2)) -> rule5) OR ((triple6 ((((triple5) -> rule3)) -> rule2)) -> rule5) OR ((triple6 ((((((triple7 triple1) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((triple6 ((((((triple6) -> rule1) triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple6 ((((((triple7 ((triple5) -> rule3)) -> rule6)) -> rule3)) -> rule2)) -> rule5) OR ((triple6 ((((((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule3)) -> rule2)) -> rule5))] The dog is rough.[(((triple12) -> rule7) OR ((triple6) -> rule8) OR ((((triple1) -> rule2)) -> rule7) OR ((((((triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple7 triple1) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule2)) -> rule7) OR ((((((((triple7 ((triple5) -> rule3)) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule3)) -> rule2)) -> rule7))] The dog likes the dog.[(((triple7 triple1) -> rule6) OR ((triple7 ((triple5) -> rule3)) -> rule6) OR ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6))] @2: The dog eats the dog.[(((((triple7 triple1) -> rule6)) -> rule3) OR ((triple12 ((triple7 triple1) -> rule6)) -> rule4) OR ((((triple1) -> rule2) ((triple7 triple1) -> rule6)) -> rule4) OR ((((triple7 ((triple5) -> rule3)) -> rule6)) -> rule3) OR ((triple12 ((triple7 ((triple5) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule2) ((triple7 ((triple5) -> rule3)) -> rule6)) -> rule4) OR ((((((triple5) -> rule3)) -> rule2) ((triple7 triple1) -> rule6)) -> rule4) OR ((((((triple5) -> rule3)) -> rule2) ((triple7 ((triple5) -> rule3)) -> rule6)) -> rule4) OR ((((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule3) OR ((triple12 ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule4) OR ((((triple1) -> rule2) ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule2) ((triple7 triple1) -> rule6)) -> rule4) OR ((((((triple5) -> rule3)) -> rule2) ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule2) ((triple7 ((triple5) -> rule3)) -> rule6)) -> rule4) OR ((((((((triple6) -> rule1) triple5) -> rule4)) -> rule2) ((triple7 ((((triple6) -> rule1) triple5) -> rule4)) -> rule6)) -> rule4))]