The mouse is cold. The mouse is red. The rabbit chases the mouse. The rabbit is blue. The rabbit is red. The rabbit likes the mouse. The rabbit sees the mouse. If something likes the mouse and the mouse chases the rabbit then the rabbit chases the mouse. If something likes the mouse then it is kind.
The mouse is cold.
@0: The mouse is cold.[(triple1)] The mouse is red.[(triple2)] The rabbit chases the mouse.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is red.[(triple5)] The rabbit likes the mouse.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The rabbit is kind.[(((triple6) -> rule2))]