Dave is blue. Dave is nice. Dave is red. Dave is smart. Dave is white. Dave is young. Erin is smart. Fiona is blue. Fiona is red. Fiona is round. Fiona is young. Gary is blue. Gary is smart. Gary is young. If Fiona is red then Fiona is smart. All nice things are round. All smart, blue things are young. Smart things are white. All white things are red. If Fiona is nice and Fiona is white then Fiona is blue. All young, white things are round. If something is red then it is blue. All young, nice things are blue.
Gary is not white.