Anne is big. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is round. Anne is young. Fiona is big. Gary is green. Gary is round. If Fiona is red and Fiona is cold then Fiona is big. Young, round people are red. All rough people are cold.
Fiona is not red.