The bald eagle chases the squirrel. The bald eagle eats the squirrel. The bald eagle sees the squirrel. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is rough. The squirrel sees the bald eagle. If the squirrel eats the bald eagle and the squirrel chases the bald eagle then the bald eagle eats the squirrel. If something is rough then it is green. If something chases the bald eagle and the bald eagle is blue then the bald eagle is rough. If something eats the squirrel and the squirrel sees the bald eagle then it is blue. If something is green and it sees the squirrel then it eats the bald eagle. If something sees the squirrel then the squirrel sees the bald eagle. If something is rough then it chases the bald eagle. If something sees the squirrel and the squirrel eats the bald eagle then the squirrel chases the bald eagle.
The squirrel is not rough.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the squirrel.[(triple2 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple6) -> rule7)) -> rule1) OR ((triple5 ((triple3 triple5) -> rule8)) -> rule1))] The bald eagle sees the squirrel.[(triple3)] The squirrel chases the bald eagle.[(triple4 OR ((triple6) -> rule7) OR ((triple3 triple5) -> rule8))] The squirrel eats the bald eagle.[(triple5)] The squirrel is rough.[(triple6)] The squirrel sees the bald eagle.[(triple7 OR ((triple3) -> rule6))] @1: The bald eagle is blue.[(((triple2 triple7) -> rule4) OR ((triple2 ((triple3) -> rule6)) -> rule4) OR ((((triple5 triple4) -> rule1) triple7) -> rule4) OR ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4) OR ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4) OR ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4) OR ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4) OR ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4))] The squirrel is green.[(((triple6) -> rule2))] @2: The bald eagle is rough.[(((triple4 ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3) OR ((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3))] @3: The bald eagle chases the bald eagle.[(((((triple4 ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule7))] The bald eagle is green.[(((((triple4 ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2))] @4: The bald eagle eats the bald eagle.[(((((((triple4 ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((triple2 triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((triple2 ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 triple4) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple4 ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) triple7) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple6) -> rule7) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 ((triple6) -> rule7)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((((triple3 triple5) -> rule8) ((((triple5 ((triple3 triple5) -> rule8)) -> rule1) ((triple3) -> rule6)) -> rule4)) -> rule3)) -> rule2) triple3) -> rule5))]