The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is nice. The bald eagle does not see the dog. The bald eagle sees the mouse. The dog does not eat the mouse. The dog is blue. The dog is not nice. The mouse eats the bald eagle. The mouse does not eat the dog. The mouse is not big. The mouse is not nice. The mouse needs the bald eagle. The mouse needs the dog. The mouse does not see the dog. If someone sees the dog and the dog is green then the dog does not need the bald eagle. If the bald eagle is nice and the bald eagle does not see the mouse then the mouse eats the bald eagle. If someone sees the dog then the dog is big. If someone eats the dog then the dog does not eat the bald eagle. If someone needs the mouse then the mouse is green. If someone sees the mouse then they are not big.
The mouse does not see the bald eagle.
@0: The bald eagle does not see the dog.[(triple5)] The bald eagle eats the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle sees the mouse.[(triple6)] The dog does not eat the mouse.[(triple7)] The dog is blue.[(triple8)] The dog is not nice.[(triple9)] The mouse does not eat the dog.[(triple11)] The mouse does not see the dog.[(triple16)] The mouse eats the bald eagle.[(triple10)] The mouse is not big.[(triple12)] The mouse is not nice.[(triple13)] The mouse needs the bald eagle.[(triple14)] The mouse needs the dog.[(triple15)] @1: The bald eagle is not big.[(((triple6) -> rule6))] The dog does not eat the bald eagle.[(((triple1) -> rule4))]