The bald eagle visits the lion. The bald eagle visits the mouse. The dog is not blue. The dog is nice. The dog is red. The dog is young. The dog needs the bald eagle. The lion eats the bald eagle. The lion eats the dog. The lion needs the dog. The lion visits the bald eagle. The mouse eats the dog. The mouse is blue. The mouse is nice. The mouse is red. The mouse visits the lion. If something eats the bald eagle and it does not visit the dog then it is not blue. If something eats the dog and it is red then the dog needs the lion.
The bald eagle does not need the lion.
@0: The bald eagle visits the lion.[(triple1)] The bald eagle visits the mouse.[(triple2)] The dog is nice.[(triple4)] The dog is not blue.[(triple3)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog needs the bald eagle.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion eats the dog.[(triple9)] The lion needs the dog.[(triple10)] The lion visits the bald eagle.[(triple11)] The mouse eats the dog.[(triple12)] The mouse is blue.[(triple13)] The mouse is nice.[(triple14)] The mouse is red.[(triple15)] The mouse visits the lion.[(triple16)] @1: The dog needs the lion.[(((triple12 triple15) -> rule2))]