The bald eagle likes the cow. The bald eagle likes the mouse. The bald eagle sees the cow. The bald eagle sees the mouse. The bald eagle visits the cow. The cow likes the mouse. The cow sees the mouse. The mouse is green. The mouse likes the cow. The mouse visits the cow. If something sees the cow then it sees the bald eagle. If something sees the mouse and the mouse is young then it visits the cow. If something likes the mouse and the mouse is nice then it sees the mouse.
The bald eagle does not see the cow.
@0: The bald eagle likes the cow.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle sees the cow.[(triple3)] The bald eagle sees the mouse.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow likes the mouse.[(triple6)] The cow sees the mouse.[(triple7)] The mouse is green.[(triple8)] The mouse likes the cow.[(triple9)] The mouse visits the cow.[(triple10)] @1: The bald eagle sees the bald eagle.[(((triple3) -> rule1))]