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