Anne is green. Anne is red. Anne is rough. Anne is round. Fiona is cold. Fiona is green. Fiona is red. If something is nice and cold then it is blue. If something is blue then it is green. All red things are green. Blue, cold things are nice. All red things are nice. Cold, nice things are red.
Fiona is not cold.