The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is young. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse eats the bald eagle. The mouse is blue. The mouse is cold. The mouse is nice. The mouse is red. The mouse is young. The mouse needs the bald eagle. The mouse sees the bald eagle. If someone eats the mouse and the mouse eats the bald eagle then they need the mouse. If someone eats the mouse and the mouse is blue then the mouse sees the bald eagle. If someone is nice then they eat the mouse. If someone eats the bald eagle and the bald eagle needs the mouse then the mouse needs the bald eagle. If someone sees the mouse then the mouse needs the bald eagle. If the bald eagle sees the mouse then the bald eagle eats the mouse. If someone is blue then they need the bald eagle. If someone needs the mouse and they eat the bald eagle then they see the mouse.
The bald eagle needs the bald eagle.
@0: The bald eagle eats the mouse.[(triple1 OR ((triple4) -> rule3) OR ((triple8) -> rule6))] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the mouse.[(triple7 OR ((triple1 triple9) -> rule1) OR ((((triple4) -> rule3) triple9) -> rule1) OR ((((triple8) -> rule6) triple9) -> rule1))] The bald eagle sees the mouse.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse is nice.[(triple12)] The mouse is red.[(triple13)] The mouse is young.[(triple14)] The mouse needs the bald eagle.[(triple15 OR ((triple10) -> rule7) OR ((triple8) -> rule5) OR ((triple9 triple7) -> rule4) OR ((triple9 ((triple1 triple9) -> rule1)) -> rule4) OR ((triple9 ((((triple4) -> rule3) triple9) -> rule1)) -> rule4) OR ((triple9 ((((triple8) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple12) -> rule3) triple9) -> rule1) triple9) -> rule8)) -> rule5))] The mouse sees the bald eagle.[(triple16 OR ((triple1 triple10) -> rule2) OR ((((triple12) -> rule3) triple10) -> rule2) OR ((((triple4) -> rule3) triple10) -> rule2) OR ((((triple8) -> rule6) triple10) -> rule2))] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule7))] The mouse eats the mouse.[(((triple12) -> rule3))] @2: The mouse needs the mouse.[(((((triple12) -> rule3) triple9) -> rule1))] @3: The mouse sees the mouse.[(((((((triple12) -> rule3) triple9) -> rule1) triple9) -> rule8))]