The bald eagle sees the lion. The bald eagle visits the dog. The cow does not see the lion. The cow visits the dog. The dog is big. The dog is blue. The dog is not nice. The dog needs the bald eagle. The dog visits the bald eagle. The dog visits the lion. The lion needs the dog. The lion visits the cow. If someone is big then they do not see the lion. If someone needs the cow and the cow is blue then the cow is big.
The bald eagle visits the lion.
@0: The bald eagle sees the lion.[(triple1)] The bald eagle visits the dog.[(triple2)] The cow does not see the lion.[(triple3)] The cow visits the dog.[(triple4)] The dog is big.[(triple5)] The dog is blue.[(triple6)] The dog is not nice.[(triple7)] The dog needs the bald eagle.[(triple8)] The dog visits the bald eagle.[(triple9)] The dog visits the lion.[(triple10)] The lion needs the dog.[(triple11)] The lion visits the cow.[(triple12)] @1: The dog does not see the lion.[(((triple5) -> rule1))]