The bald eagle is nice. The bald eagle sees the mouse. The mouse eats the bald eagle. The mouse is blue. The mouse needs the bald eagle. The mouse needs the tiger. The mouse sees the tiger. The tiger eats the bald eagle. The tiger does not eat the mouse. The tiger is not kind. The tiger is rough. The tiger needs the bald eagle. If someone needs the mouse and the mouse needs the tiger then the mouse does not see the bald eagle. If someone sees the mouse and they eat the bald eagle then the bald eagle needs the mouse. If someone sees the tiger then the tiger needs the mouse. If someone sees the tiger then the tiger needs the mouse. If someone sees the mouse and the mouse sees the tiger then they see the tiger. If someone sees the bald eagle then the bald eagle is nice. If someone sees the bald eagle then the bald eagle is not nice. If the tiger does not need the bald eagle and the tiger does not see the bald eagle then the bald eagle eats the tiger.
The mouse is not blue.
@0: The bald eagle is nice.[(triple1)] The bald eagle sees the mouse.[(triple2)] The mouse eats the bald eagle.[(triple3)] The mouse is blue.[(triple4)] The mouse needs the bald eagle.[(triple5)] The mouse needs the tiger.[(triple6)] The mouse sees the tiger.[(triple7)] The tiger does not eat the mouse.[(triple9)] The tiger eats the bald eagle.[(triple8)] The tiger is not kind.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The bald eagle sees the tiger.[(((triple2 triple7) -> rule5))] The tiger needs the mouse.[(((triple7) -> rule3) OR ((triple7) -> rule4) OR ((((triple2 triple7) -> rule5)) -> rule3) OR ((((triple2 triple7) -> rule5)) -> rule4))] @2: The mouse does not see the bald eagle.[(((((triple7) -> rule3) triple6) -> rule1) OR ((((triple7) -> rule4) triple6) -> rule1) OR ((((((triple2 triple7) -> rule5)) -> rule3) triple6) -> rule1) OR ((((((triple2 triple7) -> rule5)) -> rule4) triple6) -> rule1))]