Dave is blue. Fiona is cold. Fiona is green. Fiona is white. Gary is red. Gary is round. Gary is white. All green people are round. White, round people are red. All blue people are white. If someone is white and round then they are green. Blue people are cold. All cold people are green. All white, red people are blue. If Dave is green and Dave is not round then Dave is red.
Fiona is not round.