The bald eagle is big. The bald eagle is cold. The bald eagle is rough. The bald eagle needs the cow. The bald eagle needs the mouse. The bald eagle sees the dog. The cow is nice. The cow does not see the bald eagle. The cow sees the mouse. The dog is not rough. The mouse sees the cow. The mouse visits the bald eagle. If something needs the dog then the dog visits the cow. If the mouse visits the bald eagle and the mouse does not need the dog then the bald eagle needs the mouse. If something sees the dog then the dog sees the mouse. If something visits the cow and the cow visits the dog then the dog does not see the mouse. If something is blue and not cold then it visits the mouse. If something sees the mouse and it is not big then it visits the mouse. If something sees the dog and the dog is cold then it is nice. If something sees the mouse then the mouse does not need the cow.
The mouse does not see the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle sees the dog.[(triple6)] The cow does not see the bald eagle.[(triple8)] The cow is nice.[(triple7)] The cow sees the mouse.[(triple9)] The dog is not rough.[(triple10)] The mouse sees the cow.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The dog sees the mouse.[(((triple6) -> rule3))] The mouse does not need the cow.[(((triple9) -> rule8) OR ((((triple6) -> rule3)) -> rule8))]