The mouse is red. All rough people are cold. If someone is red then they are cold. If someone is red and rough then they are blue. All rough people are blue. All blue, rough people are red. Blue people are rough.
The mouse is not red.
@0: The mouse is red.[(triple1)] @1: The mouse is cold.[(((triple1) -> rule2))]