The bald eagle chases the cow. The bald eagle does not eat the cow. The bald eagle is green. The bald eagle sees the cow. The bald eagle sees the dog. The cow chases the dog. The cow eats the dog. The cow is blue. The dog chases the cow. The dog does not see the bald eagle. If someone eats the bald eagle and they chase the dog then they are not kind. If someone is red and they see the cow then the cow eats the bald eagle. If someone sees the cow and the cow chases the bald eagle then the cow eats the bald eagle. If someone is round and they see the bald eagle then they do not eat the cow. If someone chases the cow and the cow chases the dog then the cow chases the bald eagle. If someone chases the cow and the cow chases the bald eagle then the bald eagle eats the dog. If someone sees the bald eagle then they are green. If someone is kind and blue then they do not eat the bald eagle.
The dog does not see the dog.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not eat the cow.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the dog.[(triple5)] The cow chases the dog.[(triple6)] The cow eats the dog.[(triple7)] The cow is blue.[(triple8)] The dog chases the cow.[(triple9)] The dog does not see the bald eagle.[(triple10)] @1: The cow chases the bald eagle.[(((triple1 triple6) -> rule5) OR ((triple9 triple6) -> rule5))] @2: The bald eagle eats the dog.[(((triple1 ((triple1 triple6) -> rule5)) -> rule6) OR ((triple1 ((triple9 triple6) -> rule5)) -> rule6) OR ((triple9 ((triple1 triple6) -> rule5)) -> rule6) OR ((triple9 ((triple9 triple6) -> rule5)) -> rule6))] The cow eats the bald eagle.[(((triple4 ((triple1 triple6) -> rule5)) -> rule3) OR ((triple4 ((triple9 triple6) -> rule5)) -> rule3))] @3: The cow is not kind.[(((((triple4 ((triple1 triple6) -> rule5)) -> rule3) triple6) -> rule1) OR ((((triple4 ((triple9 triple6) -> rule5)) -> rule3) triple6) -> rule1))]