The bald eagle is not big. The bald eagle likes the mouse. The bald eagle visits the dog. The dog is big. The dog is not red. The dog is round. The dog does not like the bald eagle. The dog does not like the mouse. The dog needs the bald eagle. The dog visits the bald eagle. The dog visits the mouse. The mouse is big. The mouse is green. The mouse is red. The mouse likes the bald eagle. The mouse visits the bald eagle. If someone likes the dog then the dog likes the bald eagle. If someone is big and they do not visit the bald eagle then they need the dog. If someone likes the bald eagle then they are nice. If the bald eagle visits the mouse and the bald eagle is not round then the bald eagle likes the mouse. If someone visits the dog and they are not red then they are not big. If someone likes the dog and they are not nice then they need the bald eagle.
The mouse does not need the bald eagle.
@0: The bald eagle is not big.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the dog.[(triple3)] The dog does not like the bald eagle.[(triple7)] The dog does not like the mouse.[(triple8)] The dog is big.[(triple4)] The dog is not red.[(triple5)] The dog is round.[(triple6)] The dog needs the bald eagle.[(triple9)] The dog visits the bald eagle.[(triple10)] The dog visits the mouse.[(triple11)] The mouse is big.[(triple12)] The mouse is green.[(triple13)] The mouse is red.[(triple14)] The mouse likes the bald eagle.[(triple15)] The mouse visits the bald eagle.[(triple16)] @1: The mouse is nice.[(((triple15) -> rule3))]