The bald eagle is cold. The lion chases the mouse. The mouse is not cold. If someone is cold then they do not eat the bald eagle. If someone is blue then they chase the bald eagle. If someone sees the mouse and they see the lion then the mouse is cold.
The lion does not chase the bald eagle.
@0: The bald eagle is cold.[(triple1)] The lion chases the mouse.[(triple2)] The mouse is not cold.[(triple3)] @1: The bald eagle does not eat the bald eagle.[(((triple1) -> rule1))]