The bald eagle chases the squirrel. The bald eagle eats the squirrel. The bald eagle likes the squirrel. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is round. The squirrel likes the bald eagle. If the squirrel likes the bald eagle and the squirrel is green then the squirrel eats the bald eagle. If something likes the bald eagle then it eats the squirrel. If something eats the squirrel then it chases the squirrel. If something eats the squirrel then the squirrel chases the bald eagle. If something chases the bald eagle then the bald eagle chases the squirrel. All red things are rough. If something chases the squirrel then it is rough. Red things are green.
The squirrel is not green.
@0: The bald eagle chases the squirrel.[(triple1 OR ((triple2) -> rule3) OR ((triple4) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((((triple7) -> rule2)) -> rule4)) -> rule5))] The bald eagle eats the squirrel.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The squirrel chases the bald eagle.[(triple4 OR ((triple2) -> rule4) OR ((((triple7) -> rule2)) -> rule4))] The squirrel eats the bald eagle.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the bald eagle.[(triple7)] @1: The bald eagle is rough.[(((triple1) -> rule7) OR ((((triple2) -> rule3)) -> rule7) OR ((((triple4) -> rule5)) -> rule7) OR ((((((triple2) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple7) -> rule2)) -> rule4)) -> rule5)) -> rule7))] The squirrel eats the squirrel.[(((triple7) -> rule2))] @2: The squirrel chases the squirrel.[(((((triple7) -> rule2)) -> rule3))] @3: The squirrel is rough.[(((((((triple7) -> rule2)) -> rule3)) -> rule7))]