The bald eagle is green. The bald eagle is nice. The bald eagle likes the cow. The bald eagle visits the cow. The bald eagle visits the dog. The cow chases the bald eagle. The cow does not like the dog. The cow visits the bald eagle. The dog chases the bald eagle. The dog chases the cow. The dog is nice. The dog is rough. The dog does not like the bald eagle. The dog likes the cow. The dog does not visit the cow. If something chases the bald eagle and the bald eagle does not chase the dog then the bald eagle does not like the cow. If something likes the dog and the dog visits the bald eagle then it chases the cow. If something likes the cow and it likes the bald eagle then the cow is blue. If something likes the bald eagle and the bald eagle is not nice then it is round. Green things are not blue. If something likes the cow and it does not visit the bald eagle then the cow likes the bald eagle.
The bald eagle is not green.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle visits the cow.[(triple4)] The bald eagle visits the dog.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow does not like the dog.[(triple7)] The cow visits the bald eagle.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog chases the cow.[(triple10)] The dog does not like the bald eagle.[(triple13)] The dog does not visit the cow.[(triple15)] The dog is nice.[(triple11)] The dog is rough.[(triple12)] The dog likes the cow.[(triple14)] @1: The bald eagle is not blue.[(((triple1) -> rule5))]