Anne is blue. Anne is cold. Anne is nice. Anne is rough. Anne is round. Dave is cold. Dave is nice. Dave is round. Dave is white. Fiona is nice. Gary is cold. Gary is nice. Gary is round. Gary is white. If Fiona is nice then Fiona is blue. If someone is rough and blue then they are green. If Anne is blue then Anne is rough. All cold people are rough. All blue people are cold. All green people are white. If someone is round and not white then they are rough. If someone is round and not cold then they are rough. If Anne is nice and Anne is not rough then Anne is blue.
Fiona is not white.