The bald eagle is red. The bald eagle is young. The bald eagle needs the mouse. The dog is blue. The dog needs the mouse. The dog needs the squirrel. The mouse is rough. The mouse sees the bald eagle. The mouse sees the dog. The squirrel visits the mouse. If something visits the mouse then the mouse needs the dog. If the squirrel visits the bald eagle and the bald eagle needs the mouse then the bald eagle needs the squirrel.
The mouse is rough.
@0: The bald eagle is red.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the mouse.[(triple3)] The dog is blue.[(triple4)] The dog needs the mouse.[(triple5)] The dog needs the squirrel.[(triple6)] The mouse is rough.[(triple7)] The mouse sees the bald eagle.[(triple8)] The mouse sees the dog.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The mouse needs the dog.[(((triple10) -> rule1))]