The bald eagle chases the tiger. The bald eagle is blue. The bald eagle needs the tiger. The bear chases the mouse. The bear chases the tiger. The bear is blue. The bear needs the mouse. The mouse chases the tiger. The mouse eats the bear. The mouse needs the tiger. The tiger chases the bear. The tiger eats the bald eagle. The tiger eats the bear. The tiger is blue. The tiger is rough. The tiger needs the bald eagle. If someone eats the mouse then they are green. If someone needs the bald eagle then they eat the mouse. If someone chases the bear and the bear needs the mouse then they need the mouse. If someone is green then they need the bald eagle. If someone needs the mouse and they chase the bear then the mouse is green. If someone eats the mouse and the mouse eats the bear then they need the mouse. If someone eats the bear then the bear chases the bald eagle. If the bear is blue and the bear eats the bald eagle then the bald eagle is kind. If someone chases the mouse then the mouse is kind.
The bald eagle does not need the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bear chases the mouse.[(triple4)] The bear chases the tiger.[(triple5)] The bear is blue.[(triple6)] The bear needs the mouse.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse eats the bear.[(triple9)] The mouse needs the tiger.[(triple10)] The tiger chases the bear.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger eats the bear.[(triple13)] The tiger is blue.[(triple14)] The tiger is rough.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The bear chases the bald eagle.[(((triple13) -> rule7) OR ((triple9) -> rule7))] The mouse is kind.[(((triple4) -> rule9))] The tiger eats the mouse.[(((triple16) -> rule2))] The tiger needs the mouse.[(((triple11 triple7) -> rule3) OR ((((triple16) -> rule2) triple9) -> rule6))] @2: The mouse is green.[(((((triple11 triple7) -> rule3) triple11) -> rule5) OR ((((((triple16) -> rule2) triple9) -> rule6) triple11) -> rule5))] The tiger is green.[(((((triple16) -> rule2)) -> rule1))] @3: The mouse needs the bald eagle.[(((((((triple11 triple7) -> rule3) triple11) -> rule5)) -> rule4) OR ((((((((triple16) -> rule2) triple9) -> rule6) triple11) -> rule5)) -> rule4))] @4: The mouse eats the mouse.[(((((((((triple11 triple7) -> rule3) triple11) -> rule5)) -> rule4)) -> rule2) OR ((((((((((triple16) -> rule2) triple9) -> rule6) triple11) -> rule5)) -> rule4)) -> rule2))] @5: The mouse needs the mouse.[(((((((((((triple11 triple7) -> rule3) triple11) -> rule5)) -> rule4)) -> rule2) triple9) -> rule6) OR ((((((((((((triple16) -> rule2) triple9) -> rule6) triple11) -> rule5)) -> rule4)) -> rule2) triple9) -> rule6))]