The bald eagle is green. The lion sees the bald eagle. The mouse is green. The tiger sees the mouse. If the bald eagle is rough then the bald eagle sees the lion. If something is blue and rough then it eats the tiger. If something eats the tiger and the tiger is green then the tiger sees the mouse. If something sees the lion then it eats the lion. If something is green then it eats the bald eagle. All nice things are rough.
The tiger visits the mouse.
@0: The bald eagle is green.[(triple1)] The lion sees the bald eagle.[(triple2)] The mouse is green.[(triple3)] The tiger sees the mouse.[(triple4)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule5))] The mouse eats the bald eagle.[(((triple3) -> rule5))]