Anne is cold. If someone is rough then they are not red. All cold, blue people are red. Furry people are cold. If someone is rough then they are furry. If Anne is furry and Anne is not blue then Anne is rough. If someone is rough and not blue then they are green. If someone is red then they are quiet. If Anne is blue and Anne is not furry then Anne is not red.
Anne is not red.
@0: Anne is cold.[(triple1)]