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