The bald eagle needs the mouse. The bald eagle sees the mouse. The bald eagle does not visit the mouse. The mouse is rough. The mouse needs the bald eagle. The mouse sees the bald eagle. The mouse visits the bald eagle. If something visits the mouse then the mouse is big. If something is green and it visits the mouse then the mouse is not round. If something needs the mouse then it does not visit the bald eagle. If the mouse sees the bald eagle and the mouse needs the bald eagle then the bald eagle does not visit the mouse. If something needs the mouse and it sees the mouse then it sees the bald eagle. If something is big and it visits the mouse then it is rough. If something is round and it visits the mouse then the mouse is cold. If the mouse is cold then the mouse needs the bald eagle.
The bald eagle does not visit the mouse.
@0: The bald eagle does not visit the mouse.[(triple3 OR ((triple6 triple5) -> rule4))] The bald eagle needs the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2)] The mouse is rough.[(triple4)] The mouse needs the bald eagle.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The bald eagle does not visit the bald eagle.[(((triple1) -> rule3))] The bald eagle sees the bald eagle.[(((triple1 triple2) -> rule5))]