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