The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is young. The squirrel likes the bald eagle. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone visits the squirrel then they are red. If someone is red then they visit the squirrel. If someone is green and they like the bald eagle then they are kind. If someone sees the squirrel then the squirrel visits the bald eagle. If someone visits the bald eagle then they see the squirrel. If someone is green then they see the squirrel. If someone likes the bald eagle and they see the bald eagle then the bald eagle likes the squirrel. If someone is round then they see the squirrel.
The bald eagle sees the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3 OR ((triple8) -> rule1))] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the squirrel.[(triple6 OR ((triple13 triple14) -> rule7))] The bald eagle sees the squirrel.[(triple7 OR ((triple1) -> rule6) OR ((triple4) -> rule8))] The bald eagle visits the squirrel.[(triple8 OR ((triple3) -> rule2))] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10 OR ((triple9 triple13) -> rule3))] The squirrel is red.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15 OR ((triple7) -> rule4) OR ((((triple1) -> rule6)) -> rule4) OR ((((triple4) -> rule8)) -> rule4) OR ((((triple9) -> rule6)) -> rule4))] @1: The squirrel sees the squirrel.[(((triple15) -> rule5) OR ((triple9) -> rule6) OR ((((triple7) -> rule4)) -> rule5) OR ((((((triple1) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule8)) -> rule4)) -> rule5))] The squirrel visits the squirrel.[(((triple11) -> rule2))]