The bald eagle eats the cow. The bald eagle does not need the cow. The bald eagle needs the dog. The bald eagle visits the cow. The cow does not eat the bald eagle. The cow is blue. The cow is not round. The dog needs the bald eagle. The dog visits the bald eagle. The dog visits the cow. If the cow needs the dog then the dog eats the cow. If someone needs the dog then the dog does not eat the cow. If someone needs the bald eagle and they do not need the cow then the bald eagle visits the cow. If someone eats the cow then they do not eat the dog. All blue people are green. If someone is green then they eat the cow. If the cow eats the bald eagle and the bald eagle does not need the cow then the cow needs the bald eagle. If someone eats the bald eagle and the bald eagle does not eat the dog then they visit the dog.
The cow does not visit the dog.
@0: The bald eagle does not need the cow.[(triple2)] The bald eagle eats the cow.[(triple1)] The bald eagle needs the dog.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow does not eat the bald eagle.[(triple5)] The cow is blue.[(triple6)] The cow is not round.[(triple7)] The dog needs the bald eagle.[(triple8)] The dog visits the bald eagle.[(triple9)] The dog visits the cow.[(triple10)] @1: The bald eagle does not eat the dog.[(((triple1) -> rule4))] The cow is green.[(((triple6) -> rule5))] The dog does not eat the cow.[(((triple3) -> rule2))] @2: The cow eats the cow.[(((((triple6) -> rule5)) -> rule6))] @3: The cow does not eat the dog.[(((((((triple6) -> rule5)) -> rule6)) -> rule4))]