The bald eagle chases the cow. The bald eagle is young. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow chases the squirrel. The cow visits the squirrel. The squirrel is blue. The squirrel is round. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone chases the bald eagle and the bald eagle sees the squirrel then the squirrel is young. If someone sees the cow and they are blue then they are young. If someone is round then they chase the bald eagle. If someone sees the cow and they visit the bald eagle then the cow visits the squirrel. If the cow visits the squirrel and the squirrel chases the bald eagle then the bald eagle is round. If someone is young then they see the bald eagle. If someone is blue and young then they chase the cow. If someone chases the bald eagle then the bald eagle is green.
The cow is not young.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cow chases the squirrel.[(triple5)] The cow visits the squirrel.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the bald eagle.[(triple9 OR ((((((triple8) -> rule3) triple4) -> rule1)) -> rule6) OR ((((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3) triple4) -> rule1)) -> rule6))] The squirrel visits the bald eagle.[(triple10)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule6))] The squirrel chases the bald eagle.[(((triple8) -> rule3))] @2: The bald eagle is green.[(((((triple8) -> rule3)) -> rule8) OR ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3)) -> rule8))] The bald eagle is round.[(((triple6 ((triple8) -> rule3)) -> rule5))] The squirrel is young.[(((((triple8) -> rule3) triple4) -> rule1) OR ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3) triple4) -> rule1))] @3: The bald eagle chases the bald eagle.[(((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3))] The squirrel chases the cow.[(((triple7 ((((triple8) -> rule3) triple4) -> rule1)) -> rule7) OR ((triple7 ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule3) triple4) -> rule1)) -> rule7))]