The bald eagle chases the dog. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is round. The bald eagle likes the dog. The bald eagle visits the dog. The dog chases the bald eagle. The dog is kind. The dog likes the bald eagle. If something likes the dog and it visits the dog then it chases the bald eagle. If something chases the bald eagle and it visits the dog then the bald eagle is nice. If something is round then it likes the dog. If something is nice and it chases the dog then the dog is round. If something is nice and it chases the dog then the dog visits the bald eagle. If the bald eagle is nice then the bald eagle likes the dog. If something likes the bald eagle and the bald eagle likes the dog then the dog is blue. If the dog visits the bald eagle and the dog is kind then the dog chases the bald eagle.
The dog is not kind.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4 OR ((((triple6 triple7) -> rule1) triple7) -> rule2) OR ((((((triple5) -> rule3) triple7) -> rule1) triple7) -> rule2))] The bald eagle is round.[(triple5)] The bald eagle likes the dog.[(triple6 OR ((triple4) -> rule6) OR ((triple5) -> rule3))] The bald eagle visits the dog.[(triple7)] The dog chases the bald eagle.[(triple8 OR ((((triple4 triple1) -> rule5) triple9) -> rule8) OR ((((((((triple6 triple7) -> rule1) triple7) -> rule2) triple1) -> rule5) triple9) -> rule8) OR ((((((((((triple5) -> rule3) triple7) -> rule1) triple7) -> rule2) triple1) -> rule5) triple9) -> rule8))] The dog is kind.[(triple9)] The dog likes the bald eagle.[(triple10)] @1: The bald eagle chases the bald eagle.[(((triple6 triple7) -> rule1) OR ((((triple4) -> rule6) triple7) -> rule1) OR ((((triple5) -> rule3) triple7) -> rule1))] The dog is blue.[(((triple10 triple6) -> rule7) OR ((triple10 ((triple4) -> rule6)) -> rule7) OR ((triple10 ((triple5) -> rule3)) -> rule7))] The dog is round.[(((triple4 triple1) -> rule4) OR ((((((triple6 triple7) -> rule1) triple7) -> rule2) triple1) -> rule4) OR ((((((((triple5) -> rule3) triple7) -> rule1) triple7) -> rule2) triple1) -> rule4))] The dog visits the bald eagle.[(((triple4 triple1) -> rule5) OR ((((((triple6 triple7) -> rule1) triple7) -> rule2) triple1) -> rule5) OR ((((((((triple5) -> rule3) triple7) -> rule1) triple7) -> rule2) triple1) -> rule5))] @2: The dog likes the dog.[(((((triple4 triple1) -> rule4)) -> rule3) OR ((((((((triple6 triple7) -> rule1) triple7) -> rule2) triple1) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule3) triple7) -> rule1) triple7) -> rule2) triple1) -> rule4)) -> rule3))]