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