The bald eagle eats the cow. The bald eagle is kind. The bald eagle sees the cow. The cow eats the bald eagle. The cow is blue. The cow needs the bald eagle. The cow sees the bald eagle. If the cow needs the bald eagle and the cow eats the bald eagle then the bald eagle sees the cow. If someone is green then they need the bald eagle. If the cow sees the bald eagle then the cow is blue. If the cow sees the bald eagle and the cow eats the bald eagle then the bald eagle eats the cow. If someone needs the bald eagle and they are blue then they eat the cow. If someone needs the cow and they are round then they eat the cow. If the bald eagle eats the cow then the cow sees the bald eagle. If someone eats the cow then the cow needs the bald eagle.
The bald eagle does not need the bald eagle.
@0: The bald eagle eats the cow.[(triple1 OR ((triple7 triple4) -> rule4))] The bald eagle is kind.[(triple2)] The bald eagle sees the cow.[(triple3 OR ((triple6 triple4) -> rule1) OR ((((triple1) -> rule8) triple4) -> rule1) OR ((((((triple7 triple4) -> rule4)) -> rule8) triple4) -> rule1))] The cow eats the bald eagle.[(triple4)] The cow is blue.[(triple5 OR ((triple7) -> rule3) OR ((((triple1) -> rule7)) -> rule3))] The cow needs the bald eagle.[(triple6 OR ((triple1) -> rule8) OR ((((triple7 triple4) -> rule4)) -> rule8))] The cow sees the bald eagle.[(triple7 OR ((triple1) -> rule7))] @1: The cow eats the cow.[(((triple6 triple5) -> rule5) OR ((triple6 ((triple7) -> rule3)) -> rule5) OR ((((triple1) -> rule8) triple5) -> rule5) OR ((((triple1) -> rule8) ((triple7) -> rule3)) -> rule5) OR ((triple6 ((((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple7 triple4) -> rule4)) -> rule8) triple5) -> rule5) OR ((((triple1) -> rule8) ((((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple7 triple4) -> rule4)) -> rule8) ((triple7) -> rule3)) -> rule5) OR ((((((triple7 triple4) -> rule4)) -> rule8) ((((triple1) -> rule7)) -> rule3)) -> rule5))]