The bald eagle sees the rabbit. The mouse eats the rabbit. The mouse is green. The mouse is kind. The rabbit sees the squirrel. The squirrel eats the bald eagle. The squirrel is green. The squirrel is kind. The squirrel visits the mouse. The squirrel visits the rabbit. If someone sees the rabbit then the rabbit eats the mouse. If someone visits the bald eagle then they visit the rabbit. If someone eats the mouse and the mouse is green then the mouse sees the squirrel.
The rabbit does not visit the rabbit.
@0: The bald eagle sees the rabbit.[(triple1)] The mouse eats the rabbit.[(triple2)] The mouse is green.[(triple3)] The mouse is kind.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel is green.[(triple7)] The squirrel is kind.[(triple8)] The squirrel visits the mouse.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit eats the mouse.[(((triple1) -> rule1))] @2: The mouse sees the squirrel.[(((((triple1) -> rule1) triple3) -> rule3))]