The bald eagle visits the mouse. The mouse sees the bald eagle. The rabbit visits the bald eagle. If someone visits the mouse then the mouse visits the rabbit. If the bald eagle chases the mouse and the bald eagle does not visit the rabbit then the mouse sees the rabbit. If the mouse visits the rabbit then the mouse does not chase the bald eagle. If someone is cold and not kind then they see the bald eagle. If the mouse is cold then the mouse is green. If someone sees the bald eagle and they do not chase the bald eagle then they are not cold.
The mouse is green.
@0: The bald eagle visits the mouse.[(triple1)] The mouse sees the bald eagle.[(triple2)] The rabbit visits the bald eagle.[(triple3)] @1: The mouse visits the rabbit.[(((triple1) -> rule1))] @2: The mouse does not chase the bald eagle.[(((((triple1) -> rule1)) -> rule3))] @3: The mouse is not cold.[(((triple2 ((((triple1) -> rule1)) -> rule3)) -> rule6))]