The bald eagle needs the cow. The bald eagle sees the dog. The cow is rough. The cow needs the mouse. The cow visits the mouse. The dog is green. The mouse sees the bald eagle. If someone is green then they visit the cow. If someone needs the bald eagle then they visit the cow.
The dog is rough.
@0: The bald eagle needs the cow.[(triple1)] The bald eagle sees the dog.[(triple2)] The cow is rough.[(triple3)] The cow needs the mouse.[(triple4)] The cow visits the mouse.[(triple5)] The dog is green.[(triple6)] The mouse sees the bald eagle.[(triple7)] @1: The dog visits the cow.[(((triple6) -> rule1))]