The bald eagle eats the bear. The bald eagle eats the tiger. The bald eagle needs the mouse. The bear is kind. The bear likes the mouse. The mouse likes the bear. The mouse needs the bear. The tiger is young. The tiger likes the bear. The tiger likes the mouse. If someone needs the bald eagle then they eat the bear. If someone likes the bear and they eat the mouse then they like the mouse. If someone eats the mouse then they need the bear. If someone needs the bald eagle then they are red. If the bear is young then the bear likes the mouse. If someone likes the bald eagle then the bald eagle is young. If someone eats the bear then the bear needs the mouse. If someone eats the bear then the bear likes the bald eagle.
The bald eagle is not young.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bear is kind.[(triple4)] The bear likes the mouse.[(triple5)] The mouse likes the bear.[(triple6)] The mouse needs the bear.[(triple7)] The tiger is young.[(triple8)] The tiger likes the bear.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The bear likes the bald eagle.[(((triple1) -> rule8))] The bear needs the mouse.[(((triple1) -> rule7))] @2: The bald eagle is young.[(((((triple1) -> rule8)) -> rule6))]