The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is kind. The bald eagle is red. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The squirrel chases the bald eagle. The squirrel is big. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If something is big and it chases the bald eagle then the bald eagle needs the squirrel. If something chases the bald eagle and it is rough then the bald eagle is big. If something needs the bald eagle and the bald eagle is rough then it chases the squirrel. All young things are red. If something likes the squirrel then the squirrel chases the bald eagle. If something chases the squirrel and it likes the squirrel then the squirrel chases the bald eagle. If something chases the bald eagle and it likes the squirrel then the bald eagle is rough. If something is red and rough then it likes the squirrel.
The squirrel does not like the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is big.[(triple2 OR ((triple8 triple12) -> rule2) OR ((((triple6) -> rule5) triple12) -> rule2) OR ((((triple1 triple6) -> rule6) triple12) -> rule2) OR ((((((triple11 triple12) -> rule8)) -> rule5) triple12) -> rule2) OR ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) triple12) -> rule2))] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4 OR ((triple5) -> rule4))] The bald eagle is young.[(triple5)] The bald eagle likes the squirrel.[(triple6 OR ((triple4 ((triple8 ((triple11 triple12) -> rule8)) -> rule7)) -> rule8) OR ((((triple5) -> rule4) ((triple8 ((triple11 triple12) -> rule8)) -> rule7)) -> rule8) OR ((triple4 ((triple8 ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule8) OR ((triple4 ((((((triple11 triple12) -> rule8)) -> rule5) ((triple11 triple12) -> rule8)) -> rule7)) -> rule8) OR ((((triple5) -> rule4) ((triple8 ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule8) OR ((triple4 ((((((triple11 triple12) -> rule8)) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule8) OR ((((triple5) -> rule4) ((((((triple11 triple12) -> rule8)) -> rule5) ((triple11 triple12) -> rule8)) -> rule7)) -> rule8) OR ((((triple5) -> rule4) ((((((triple11 triple12) -> rule8)) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule8) OR ((triple4 ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) ((triple11 triple12) -> rule8)) -> rule7)) -> rule8) OR ((triple4 ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule8) OR ((((triple5) -> rule4) ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) ((triple11 triple12) -> rule8)) -> rule7)) -> rule8) OR ((((triple5) -> rule4) ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule8))] The bald eagle needs the squirrel.[(triple7 OR ((triple9 triple8) -> rule1) OR ((triple9 ((triple6) -> rule5)) -> rule1) OR ((triple9 ((triple1 triple6) -> rule6)) -> rule1) OR ((triple9 ((((triple11 triple12) -> rule8)) -> rule5)) -> rule1) OR ((triple9 ((((((triple13) -> rule4) triple12) -> rule8)) -> rule5)) -> rule1))] The squirrel chases the bald eagle.[(triple8 OR ((triple6) -> rule5) OR ((triple1 triple6) -> rule6) OR ((((triple11 triple12) -> rule8)) -> rule5) OR ((((((triple13) -> rule4) triple12) -> rule8)) -> rule5))] The squirrel is big.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11 OR ((triple13) -> rule4))] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel needs the bald eagle.[(triple15)] @1: The squirrel likes the squirrel.[(((triple11 triple12) -> rule8) OR ((((triple13) -> rule4) triple12) -> rule8))] @2: The bald eagle is rough.[(((triple8 ((triple11 triple12) -> rule8)) -> rule7) OR ((((triple6) -> rule5) ((triple11 triple12) -> rule8)) -> rule7) OR ((((triple1 triple6) -> rule6) ((triple11 triple12) -> rule8)) -> rule7) OR ((triple8 ((((triple13) -> rule4) triple12) -> rule8)) -> rule7) OR ((((triple6) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7) OR ((((((triple11 triple12) -> rule8)) -> rule5) ((triple11 triple12) -> rule8)) -> rule7) OR ((((triple1 triple6) -> rule6) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7) OR ((((((triple11 triple12) -> rule8)) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7) OR ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) ((triple11 triple12) -> rule8)) -> rule7) OR ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7))] @3: The squirrel chases the squirrel.[(((triple15 ((triple8 ((triple11 triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((((triple6) -> rule5) ((triple11 triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((((triple1 triple6) -> rule6) ((triple11 triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((triple8 ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((((triple6) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((((((triple11 triple12) -> rule8)) -> rule5) ((triple11 triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((((triple1 triple6) -> rule6) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((((((triple11 triple12) -> rule8)) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) ((triple11 triple12) -> rule8)) -> rule7)) -> rule3) OR ((triple15 ((((((((triple13) -> rule4) triple12) -> rule8)) -> rule5) ((((triple13) -> rule4) triple12) -> rule8)) -> rule7)) -> rule3))]