The bald eagle eats the mouse. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse is green. The mouse is young. The mouse visits the bald eagle. If something is rough then it visits the mouse. If something is young and it needs the mouse then the mouse is young. If something is kind then it needs the mouse. If something eats the bald eagle then it is green. If something needs the bald eagle then the bald eagle visits the mouse. If something eats the bald eagle then the bald eagle needs the mouse.
The bald eagle is not green.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle needs the mouse.[(triple5 OR ((triple2) -> rule3) OR ((triple7) -> rule6))] The bald eagle visits the mouse.[(triple6 OR ((triple4) -> rule1))] The mouse eats the bald eagle.[(triple7)] The mouse is green.[(triple8 OR ((triple7) -> rule4))] The mouse is young.[(triple9)] The mouse visits the bald eagle.[(triple10)]