The bald eagle eats the dog. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle sees the dog. The bald eagle visits the dog. The dog eats the bald eagle. The dog is cold. The dog is kind. The dog is red. The dog is round. The dog is young. The dog sees the bald eagle. The dog visits the bald eagle. If someone sees the dog and they visit the bald eagle then the bald eagle sees the dog. If someone sees the bald eagle and the bald eagle is round then they see the dog. If someone visits the dog and the dog sees the bald eagle then they eat the dog. If someone is cold and they eat the bald eagle then the bald eagle eats the dog. If someone sees the dog then they visit the dog. If someone is cold then they see the dog. If someone visits the dog and the dog eats the bald eagle then they are cold. If someone eats the bald eagle and the bald eagle eats the dog then the dog eats the bald eagle.
The dog does not see the dog.
@0: The bald eagle eats the dog.[(triple1 OR ((triple10 triple9) -> rule4) OR ((triple8 triple15) -> rule3) OR ((((triple7) -> rule5) triple15) -> rule3) OR ((((((triple2) -> rule6)) -> rule5) triple15) -> rule3) OR ((((((((triple10) -> rule6) triple16) -> rule1)) -> rule5) triple15) -> rule3) OR ((((((((triple15 triple5) -> rule2) triple16) -> rule1)) -> rule5) triple15) -> rule3) OR ((((((((triple15 triple5) -> rule2)) -> rule5) triple9) -> rule7) triple9) -> rule4))] The bald eagle is cold.[(triple2 OR ((triple8 triple9) -> rule7) OR ((((triple7) -> rule5) triple9) -> rule7) OR ((((((((triple10) -> rule6) triple16) -> rule1)) -> rule5) triple9) -> rule7) OR ((((((((triple15 triple5) -> rule2) triple16) -> rule1)) -> rule5) triple9) -> rule7))] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle sees the dog.[(triple7 OR ((triple2) -> rule6) OR ((((triple8 triple9) -> rule7)) -> rule6) OR ((((triple10) -> rule6) triple16) -> rule1) OR ((((triple15 triple5) -> rule2) triple16) -> rule1))] The bald eagle visits the dog.[(triple8 OR ((triple7) -> rule5) OR ((((triple2) -> rule6)) -> rule5) OR ((((((triple10) -> rule6) triple16) -> rule1)) -> rule5) OR ((((((triple15 triple5) -> rule2) triple16) -> rule1)) -> rule5))] The dog eats the bald eagle.[(triple9)] The dog is cold.[(triple10 OR ((((((triple15 triple5) -> rule2)) -> rule5) triple9) -> rule7))] The dog is kind.[(triple11)] The dog is red.[(triple12)] The dog is round.[(triple13)] The dog is young.[(triple14)] The dog sees the bald eagle.[(triple15)] The dog visits the bald eagle.[(triple16)] @1: The dog sees the dog.[(((triple10) -> rule6) OR ((triple15 triple5) -> rule2))] @2: The dog visits the dog.[(((((triple10) -> rule6)) -> rule5) OR ((((triple15 triple5) -> rule2)) -> rule5))] @3: The dog eats the dog.[(((((((triple10) -> rule6)) -> rule5) triple15) -> rule3) OR ((((((triple15 triple5) -> rule2)) -> rule5) triple15) -> rule3))]