Charlie is white. Charlie is young. Dave is blue. Dave is red. Dave is smart. Erin is green. Erin is young. Fiona is green. Fiona is round. Fiona is young. If Dave is red then Dave is young. If Fiona is young then Fiona is blue. All young, round things are smart. If something is blue then it is white. Round things are smart. If Fiona is young and Fiona is smart then Fiona is round.
Charlie is not white.