The bald eagle does not need the cow. The cow eats the dog. The cow eats the lion. The cow is red. The dog is red. The dog needs the lion. The dog does not visit the lion. The lion eats the bald eagle. The lion does not eat the cow. The lion does not eat the dog. The lion is blue. The lion is kind. The lion needs the bald eagle. The lion needs the cow. The lion visits the cow. The lion visits the dog. If the lion is kind then the lion does not eat the cow. If something needs the cow and the cow is red then the cow needs the bald eagle. If the cow eats the bald eagle then the cow is not red. If something visits the dog and the dog is red then it needs the bald eagle. If something visits the bald eagle then the bald eagle eats the dog. If something is green then it is not big. If something eats the dog then it visits the bald eagle. If the dog does not need the bald eagle then the dog is blue.
The cow does not visit the bald eagle.
@0: The bald eagle does not need the cow.[(triple1)] The cow eats the dog.[(triple2)] The cow eats the lion.[(triple3)] The cow is red.[(triple4)] The dog does not visit the lion.[(triple7)] The dog is red.[(triple5)] The dog needs the lion.[(triple6)] The lion does not eat the cow.[(triple9 OR ((triple12) -> rule1))] The lion does not eat the dog.[(triple10)] The lion eats the bald eagle.[(triple8)] The lion is blue.[(triple11)] The lion is kind.[(triple12)] The lion needs the bald eagle.[(triple13 OR ((triple16 triple5) -> rule4))] The lion needs the cow.[(triple14)] The lion visits the cow.[(triple15)] The lion visits the dog.[(triple16)] @1: The cow needs the bald eagle.[(((triple14 triple4) -> rule2))] The cow visits the bald eagle.[(((triple2) -> rule7))] @2: The bald eagle eats the dog.[(((((triple2) -> rule7)) -> rule5))] @3: The bald eagle visits the bald eagle.[(((((((triple2) -> rule7)) -> rule5)) -> rule7))]