The bald eagle is rough. The bald eagle does not see the mouse. The bald eagle sees the rabbit. The mouse is kind. The mouse is nice. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is kind. The rabbit is not nice. The rabbit does not need the bald eagle. The rabbit sees the bald eagle. The rabbit visits the mouse. If something sees the bald eagle then it does not need the bald eagle. If something visits the bald eagle and the bald eagle needs the mouse then the bald eagle visits the mouse. If something visits the rabbit then the rabbit is kind. If something visits the bald eagle then the bald eagle needs the mouse. If the mouse needs the rabbit and the rabbit sees the mouse then the mouse is kind. If something visits the rabbit and the rabbit sees the bald eagle then it visits the bald eagle.
The mouse sees the bald eagle.
@0: The bald eagle does not see the mouse.[(triple2)] The bald eagle is rough.[(triple1)] The bald eagle sees the rabbit.[(triple3)] The mouse is kind.[(triple4)] The mouse is nice.[(triple5)] The mouse sees the rabbit.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit does not need the bald eagle.[(triple10 OR ((triple11) -> rule1))] The rabbit is kind.[(triple8 OR ((triple7) -> rule3))] The rabbit is not nice.[(triple9)] The rabbit sees the bald eagle.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The mouse visits the bald eagle.[(((triple7 triple11) -> rule6))] @2: The bald eagle needs the mouse.[(((((triple7 triple11) -> rule6)) -> rule4))] @3: The bald eagle visits the mouse.[(((((triple7 triple11) -> rule6) ((((triple7 triple11) -> rule6)) -> rule4)) -> rule2))]