The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is green. The bald eagle is rough. The bald eagle is young. The bald eagle needs the squirrel. The bald eagle visits the squirrel. The squirrel eats the bald eagle. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel is young. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If someone visits the bald eagle then they are big. If someone visits the squirrel and the squirrel is rough then they are rough. If someone is young then they eat the squirrel. If someone visits the bald eagle and the bald eagle visits the squirrel then the squirrel is cold. If someone eats the bald eagle and the bald eagle eats the squirrel then they need the squirrel. If someone visits the squirrel and the squirrel is big then they eat the bald eagle.
The bald eagle does not visit the bald eagle.
@0: The bald eagle eats the squirrel.[(triple1 OR ((triple5) -> rule3))] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple7 triple12) -> rule2))] The bald eagle is young.[(triple5)] The bald eagle needs the squirrel.[(triple6 OR ((((triple7 triple9) -> rule6) triple1) -> rule5) OR ((((triple7 triple9) -> rule6) ((triple5) -> rule3)) -> rule5) OR ((((triple7 ((triple15) -> rule1)) -> rule6) triple1) -> rule5) OR ((((triple7 ((triple15) -> rule1)) -> rule6) ((triple5) -> rule3)) -> rule5))] The bald eagle visits the squirrel.[(triple7)] The squirrel eats the bald eagle.[(triple8)] The squirrel is big.[(triple9 OR ((triple15) -> rule1))] The squirrel is cold.[(triple10 OR ((triple15 triple7) -> rule4))] The squirrel is green.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple7 triple9) -> rule6) OR ((triple7 ((triple15) -> rule1)) -> rule6))] The squirrel eats the squirrel.[(((triple13) -> rule3))] The squirrel needs the squirrel.[(((triple8 triple1) -> rule5) OR ((triple8 ((triple5) -> rule3)) -> rule5))]