The bald eagle is not nice. The bald eagle is not rough. The bald eagle needs the mouse. The bear is not green. The bear is nice. The bear likes the bald eagle. The bear does not like the mouse. The bear does not need the mouse. The bear does not visit the mouse. The mouse is kind. The mouse likes the bald eagle. The mouse likes the bear. If something likes the bald eagle then the bald eagle visits the mouse. If something is nice and it does not like the bear then it is kind. If something likes the mouse then the mouse is not green. If something is round and it likes the mouse then it is green. If the mouse does not like the bald eagle then the bald eagle is not kind. If the bald eagle needs the bear and the bear is rough then the bear does not visit the mouse.
The bald eagle needs the bear.
@0: The bald eagle is not nice.[(triple1)] The bald eagle is not rough.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bear does not like the mouse.[(triple7)] The bear does not need the mouse.[(triple8)] The bear does not visit the mouse.[(triple9)] The bear is nice.[(triple5)] The bear is not green.[(triple4)] The bear likes the bald eagle.[(triple6)] The mouse is kind.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse likes the bear.[(triple12)] @1: The bald eagle visits the mouse.[(((triple11) -> rule1) OR ((triple6) -> rule1))]