The bald eagle is red. The bald eagle is young. The bald eagle needs the lion. The bald eagle needs the mouse. The bald eagle sees the mouse. The bald eagle visits the lion. The lion is young. The lion does not visit the bald eagle. The mouse is young. The mouse needs the bald eagle. The mouse needs the lion. The mouse sees the lion. If someone needs the bald eagle then the bald eagle visits the mouse. If someone sees the mouse and they are not red then they visit the bald eagle.
The bald eagle needs the mouse.
@0: The bald eagle is red.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle sees the mouse.[(triple5)] The bald eagle visits the lion.[(triple6)] The lion does not visit the bald eagle.[(triple8)] The lion is young.[(triple7)] The mouse is young.[(triple9)] The mouse needs the bald eagle.[(triple10)] The mouse needs the lion.[(triple11)] The mouse sees the lion.[(triple12)] @1: The bald eagle visits the mouse.[(((triple10) -> rule1))]