Dave is green. Dave is quiet. Dave is smart. Fiona is cold. Fiona is nice. Gary is cold. Gary is green. Gary is quiet. Gary is round. Gary is white. If Dave is nice then Dave is quiet. All smart things are green. All green things are smart. Round things are green. Nice, round things are white. All green, round things are quiet. If something is cold and nice then it is green. Round, white things are quiet.
Dave is white.