The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is rough. The bald eagle is round. The bald eagle sees the squirrel. The squirrel eats the bald eagle. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If the bald eagle eats the squirrel then the squirrel sees the bald eagle. If someone is round and they visit the squirrel then the squirrel sees the bald eagle. If someone is young and they eat the squirrel then the squirrel sees the bald eagle. If someone eats the squirrel and the squirrel visits the bald eagle then the bald eagle is rough. If someone eats the bald eagle and the bald eagle eats the squirrel then the bald eagle is green. If the bald eagle sees the squirrel then the bald eagle eats the squirrel.
The bald eagle is not blue.
@0: The bald eagle eats the squirrel.[(triple1 OR ((triple5) -> rule6))] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple1 triple12) -> rule4) OR ((((triple5) -> rule6) triple12) -> rule4))] The bald eagle is round.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel is green.[(triple7)] The squirrel is rough.[(triple8)] The squirrel is round.[(triple9)] The squirrel is young.[(triple10)] The squirrel sees the bald eagle.[(triple11 OR ((triple1) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] The squirrel visits the bald eagle.[(triple12)] @1: The bald eagle is green.[(((triple6 triple1) -> rule5) OR ((triple6 ((triple5) -> rule6)) -> rule5))]