Dave is white. Erin is not cold. Erin is nice. Erin is quiet. Erin is red. Fiona is cold. Fiona is green. Fiona is round. Gary is green. Gary is nice. Gary is quiet. Gary is round. White things are cold. All green, red things are round. All green things are red. All cold things are green. White, round things are quiet. If something is red and not quiet then it is round. If something is not red then it is green.
Dave is nice.