The bald eagle does not chase the mouse. The bald eagle is red. The bald eagle is rough. The bald eagle sees the mouse. The bald eagle sees the tiger. The mouse chases the tiger. The mouse is blue. The mouse does not need the bald eagle. The tiger chases the bald eagle. The tiger chases the mouse. The tiger is nice. The tiger is red. The tiger is rough. The tiger needs the bald eagle. The tiger needs the mouse. If the tiger sees the mouse then the mouse needs the tiger. If someone needs the bald eagle and they chase the bald eagle then they chase the tiger. If the tiger needs the mouse and the tiger does not chase the bald eagle then the bald eagle sees the mouse. If someone sees the bald eagle then they need the tiger. If someone chases the tiger then they need the tiger. If someone sees the tiger then they are rough.
The bald eagle needs the tiger.
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple5) -> rule6))] The bald eagle sees the mouse.[(triple4)] The bald eagle sees the tiger.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse does not need the bald eagle.[(triple8)] The mouse is blue.[(triple7)] The tiger chases the bald eagle.[(triple9)] The tiger chases the mouse.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger needs the bald eagle.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The mouse needs the tiger.[(((triple6) -> rule5))] The tiger chases the tiger.[(((triple14 triple9) -> rule2))] @2: The tiger needs the tiger.[(((((triple14 triple9) -> rule2)) -> rule5))]