The bald eagle is blue. The bald eagle is not red. The bald eagle is not young. The bald eagle does not like the cow. The cow is green. The cow is not red. The dog needs the bald eagle. The mouse chases the cow. The mouse chases the dog. The mouse is nice. If something chases the mouse and it is nice then the mouse does not like the dog. If something likes the bald eagle then the bald eagle is not nice. If the mouse needs the bald eagle and the bald eagle needs the cow then the bald eagle does not chase the mouse. All blue things are not nice. If the mouse needs the dog and the dog does not need the cow then the cow does not like the bald eagle. If something chases the cow then the cow is blue.
The mouse needs the mouse.
@0: The bald eagle does not like the cow.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle is not young.[(triple3)] The cow is green.[(triple5)] The cow is not red.[(triple6)] The dog needs the bald eagle.[(triple7)] The mouse chases the cow.[(triple8)] The mouse chases the dog.[(triple9)] The mouse is nice.[(triple10)] @1: The bald eagle is not nice.[(((triple1) -> rule4))] The cow is blue.[(((triple8) -> rule6))] @2: The cow is not nice.[(((((triple8) -> rule6)) -> rule4))]