The bald eagle eats the bear. The bald eagle needs the mouse. The bear eats the mouse. The bear is kind. The bear is round. The bear needs the bald eagle. The bear needs the mouse. The bear visits the mouse. The mouse is young. The mouse visits the bear. If someone is kind and blue then they are young. If someone is blue then they eat the bald eagle. If someone is blue then they are big. If someone eats the bear and they are kind then the bear needs the mouse. Young people are blue. If someone is young and they need the mouse then they eat the bald eagle. If the bald eagle eats the mouse then the bald eagle visits the bear. If someone eats the bald eagle then the bald eagle needs the bear.
The bald eagle visits the bear.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle needs the mouse.[(triple2)] The bear eats the mouse.[(triple3)] The bear is kind.[(triple4)] The bear is round.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse is young.[(triple9)] The mouse visits the bear.[(triple10)] @1: The mouse is blue.[(((triple9) -> rule5))] @2: The mouse eats the bald eagle.[(((((triple9) -> rule5)) -> rule2))] The mouse is big.[(((((triple9) -> rule5)) -> rule3))] @3: The bald eagle needs the bear.[(((((((triple9) -> rule5)) -> rule2)) -> rule8))]