The bald eagle chases the mouse. The bald eagle chases the tiger. The bald eagle is big. The bald eagle is kind. The bald eagle is nice. The bald eagle needs the mouse. The bald eagle needs the tiger. The bald eagle visits the mouse. The bald eagle visits the tiger. The mouse chases the bald eagle. The mouse chases the tiger. The mouse needs the bald eagle. The mouse visits the tiger. The tiger chases the bald eagle. The tiger is kind. The tiger needs the mouse. If something needs the bald eagle and it needs the tiger then the tiger chases the mouse. If something is young and big then it chases the mouse. If something is nice then it chases the tiger. If something is blue and kind then it visits the bald eagle. If something needs the bald eagle then the bald eagle chases the mouse. If the mouse chases the bald eagle and the bald eagle needs the mouse then the bald eagle visits the mouse.
The bald eagle is not nice.
@0: The bald eagle chases the mouse.[(triple1 OR ((triple12) -> rule5))] The bald eagle chases the tiger.[(triple2 OR ((triple5) -> rule3))] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle needs the mouse.[(triple6)] The bald eagle needs the tiger.[(triple7)] The bald eagle visits the mouse.[(triple8 OR ((triple10 triple6) -> rule6))] The bald eagle visits the tiger.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse chases the tiger.[(triple11)] The mouse needs the bald eagle.[(triple12)] The mouse visits the tiger.[(triple13)] The tiger chases the bald eagle.[(triple14)] The tiger is kind.[(triple15)] The tiger needs the mouse.[(triple16)]