The mouse is kind. If something is kind then it is red. If the mouse is red then the mouse is kind. If something is green and not red then it is nice. If the mouse is green and the mouse is cold then the mouse is nice. If something is green and not red then it is cold. If something is nice and kind then it is green. Kind, nice things are green. If the mouse is nice and the mouse is green then the mouse is not cold.
The mouse eats the mouse.
@0: The mouse is kind.[(triple1)] @1: The mouse is red.[(((triple1) -> rule1))]