The bald eagle is rough. The bear visits the mouse. The mouse sees the bear. If something is round and it chases the bald eagle then it is green. If something sees the bear and it chases the bear then the bear is green. If something visits the mouse then it sees the bald eagle.
The bald eagle is rough.
@0: The bald eagle is rough.[(triple1)] The bear visits the mouse.[(triple2)] The mouse sees the bear.[(triple3)] @1: The bear sees the bald eagle.[(((triple2) -> rule3))]