Anne is cold. Anne is furry. Anne is green. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. If Fiona is cold then Fiona is red. Rough people are red. Cold, green people are rough. Rough people are green. All red people are cold. All cold, red people are white. If Fiona is rough then Fiona is furry. If Fiona is white and Fiona is rough then Fiona is quiet.
Anne is not red.