The bald eagle eats the dog. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle sees the dog. The bald eagle visits the dog. The dog eats the bald eagle. The dog is big. The dog is green. The dog is kind. The dog is red. The dog sees the bald eagle. The dog visits the bald eagle. If something is red then it visits the dog. If something visits the dog then the dog sees the bald eagle. If the dog visits the bald eagle and the dog is green then the bald eagle visits the dog. If something eats the bald eagle then the bald eagle visits the dog. If something visits the bald eagle then the bald eagle eats the dog. If something is kind then it eats the bald eagle. If something eats the bald eagle then the bald eagle is big. If something eats the dog and the dog sees the bald eagle then the dog visits the bald eagle.
The bald eagle does not visit the dog.
@0: The bald eagle eats the dog.[(triple1 OR ((triple15) -> rule5))] The bald eagle is big.[(triple2 OR ((triple9) -> rule7) OR ((((triple12) -> rule6)) -> rule7) OR ((((triple5) -> rule6)) -> rule7))] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle sees the dog.[(triple7)] The bald eagle visits the dog.[(triple8 OR ((triple6) -> rule1) OR ((triple9) -> rule4) OR ((triple15 triple11) -> rule3) OR ((((triple12) -> rule6)) -> rule4) OR ((((triple5) -> rule6)) -> rule4) OR ((((triple1 triple14) -> rule8) triple11) -> rule3) OR ((((triple1 ((((triple13) -> rule1)) -> rule2)) -> rule8) triple11) -> rule3))] The dog eats the bald eagle.[(triple9 OR ((triple12) -> rule6))] The dog is big.[(triple10)] The dog is green.[(triple11)] The dog is kind.[(triple12)] The dog is red.[(triple13)] The dog sees the bald eagle.[(triple14 OR ((triple8) -> rule2) OR ((((triple13) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2) OR ((((triple9) -> rule4)) -> rule2) OR ((((triple15 triple11) -> rule3)) -> rule2) OR ((((((triple12) -> rule6)) -> rule4)) -> rule2) OR ((((((triple5) -> rule6)) -> rule4)) -> rule2))] The dog visits the bald eagle.[(triple15 OR ((triple1 triple14) -> rule8) OR ((triple1 ((triple8) -> rule2)) -> rule8) OR ((triple1 ((((triple13) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple6) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple9) -> rule4)) -> rule2)) -> rule8) OR ((triple1 ((((((triple12) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((triple1 ((((((triple5) -> rule6)) -> rule4)) -> rule2)) -> rule8))] @1: The bald eagle eats the bald eagle.[(((triple5) -> rule6))] The dog visits the dog.[(((triple13) -> rule1))]