The bald eagle is red. The bald eagle needs the cow. The bald eagle visits the cow. The bear is kind. The bear is round. The bear likes the cow. The bear needs the dog. The cow is green. The cow is round. The cow likes the bear. The cow needs the bald eagle. The cow needs the bear. The cow does not need the dog. The cow visits the bear. The dog is green. The dog needs the bald eagle. If something is green then it does not need the dog. If something is cold and red then it likes the bald eagle. If something visits the dog then it likes the bear. If the dog visits the bald eagle and the bald eagle needs the cow then the dog needs the bald eagle. If something needs the bald eagle and the bald eagle is green then the bald eagle is round. If the bald eagle needs the dog then the dog does not need the bear. If the dog is round then the dog likes the bear. If something needs the bear then the bear is not cold.
The bear needs the cow.
@0: The bald eagle is red.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle visits the cow.[(triple3)] The bear is kind.[(triple4)] The bear is round.[(triple5)] The bear likes the cow.[(triple6)] The bear needs the dog.[(triple7)] The cow does not need the dog.[(triple13 OR ((triple8) -> rule1))] The cow is green.[(triple8)] The cow is round.[(triple9)] The cow likes the bear.[(triple10)] The cow needs the bald eagle.[(triple11)] The cow needs the bear.[(triple12)] The cow visits the bear.[(triple14)] The dog is green.[(triple15)] The dog needs the bald eagle.[(triple16)] @1: The bear is not cold.[(((triple12) -> rule8))] The dog does not need the dog.[(((triple15) -> rule1))]