The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle needs the dog. The cow is big. The cow is blue. The cow is rough. The cow likes the dog. The cow likes the mouse. The cow needs the bald eagle. The dog chases the mouse. The mouse chases the cow. The mouse is round. The mouse likes the bald eagle. The mouse needs the cow. The mouse needs the dog. If something chases the cow then it is blue. If something likes the cow then it likes the mouse. If something is blue then it does not like the cow. If something likes the bald eagle and it does not chase the cow then it needs the bald eagle. If something likes the mouse and the mouse does not like the cow then the mouse needs the bald eagle. If the dog needs the bald eagle and the dog does not like the cow then the cow does not need the mouse.
The mouse is not blue.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle needs the dog.[(triple3)] The cow is big.[(triple4)] The cow is blue.[(triple5)] The cow is rough.[(triple6)] The cow likes the dog.[(triple7)] The cow likes the mouse.[(triple8)] The cow needs the bald eagle.[(triple9)] The dog chases the mouse.[(triple10)] The mouse chases the cow.[(triple11)] The mouse is round.[(triple12)] The mouse likes the bald eagle.[(triple13)] The mouse needs the cow.[(triple14)] The mouse needs the dog.[(triple15)] @1: The bald eagle is blue.[(((triple1) -> rule1))] The cow does not like the cow.[(((triple5) -> rule3))] The mouse is blue.[(((triple11) -> rule1))] @2: The bald eagle does not like the cow.[(((((triple1) -> rule1)) -> rule3))] The mouse does not like the cow.[(((((triple11) -> rule1)) -> rule3))] @3: The mouse needs the bald eagle.[(((triple8 ((((triple11) -> rule1)) -> rule3)) -> rule5))]