The bald eagle chases the mouse. The bald eagle eats the bear. The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is green. The bald eagle needs the bear. The bald eagle needs the mouse. The bear eats the mouse. The bear is cold. The bear is round. The bear needs the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is green. The mouse is red. The mouse needs the bear. If the mouse eats the bald eagle and the mouse is blue then the mouse needs the bear. If something chases the bald eagle and it needs the bear then the bald eagle is blue. If something needs the bear then it chases the bald eagle. If something needs the bald eagle then the bald eagle is red. If something eats the mouse then it chases the bear. If something is blue then it eats the bald eagle. If something is green and it needs the bald eagle then it is blue. If something chases the bald eagle and the bald eagle is blue then it needs the bald eagle.
The mouse eats the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the mouse.[(triple3)] The bald eagle is blue.[(triple4 OR ((((triple16) -> rule3) triple16) -> rule2) OR ((((triple6) -> rule3) triple6) -> rule2))] The bald eagle is green.[(triple5)] The bald eagle needs the bear.[(triple6)] The bald eagle needs the mouse.[(triple7)] The bear eats the mouse.[(triple8)] The bear is cold.[(triple9)] The bear is round.[(triple10)] The bear needs the mouse.[(triple11)] The mouse chases the bear.[(triple12)] The mouse eats the bear.[(triple13)] The mouse is green.[(triple14)] The mouse is red.[(triple15)] The mouse needs the bear.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple6) -> rule3))] The bald eagle chases the bear.[(((triple3) -> rule5))] The bald eagle eats the bald eagle.[(((triple4) -> rule6) OR ((((((triple16) -> rule3) triple16) -> rule2)) -> rule6) OR ((((((triple6) -> rule3) triple6) -> rule2)) -> rule6))] The bear chases the bear.[(((triple8) -> rule5))] The mouse chases the bald eagle.[(((triple16) -> rule3))] @2: The bald eagle needs the bald eagle.[(((((triple6) -> rule3) triple4) -> rule8) OR ((((triple6) -> rule3) ((((triple16) -> rule3) triple16) -> rule2)) -> rule8) OR ((((triple6) -> rule3) ((((triple6) -> rule3) triple6) -> rule2)) -> rule8))] The mouse needs the bald eagle.[(((((triple16) -> rule3) triple4) -> rule8) OR ((((triple16) -> rule3) ((((triple16) -> rule3) triple16) -> rule2)) -> rule8) OR ((((triple16) -> rule3) ((((triple6) -> rule3) triple6) -> rule2)) -> rule8))] @3: The bald eagle is red.[(((((((triple16) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((triple6) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((triple16) -> rule3) ((((triple16) -> rule3) triple16) -> rule2)) -> rule8)) -> rule4) OR ((((((triple16) -> rule3) ((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule4) OR ((((((triple6) -> rule3) ((((triple16) -> rule3) triple16) -> rule2)) -> rule8)) -> rule4) OR ((((((triple6) -> rule3) ((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule4))] The mouse is blue.[(((triple14 ((((triple16) -> rule3) triple4) -> rule8)) -> rule7) OR ((triple14 ((((triple16) -> rule3) ((((triple16) -> rule3) triple16) -> rule2)) -> rule8)) -> rule7) OR ((triple14 ((((triple16) -> rule3) ((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule7))] @4: The mouse eats the bald eagle.[(((((triple14 ((((triple16) -> rule3) triple4) -> rule8)) -> rule7)) -> rule6) OR ((((triple14 ((((triple16) -> rule3) ((((triple16) -> rule3) triple16) -> rule2)) -> rule8)) -> rule7)) -> rule6) OR ((((triple14 ((((triple16) -> rule3) ((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule7)) -> rule6))]