Dave is blue. Dave is cold. Dave is not quiet. Dave is not red. Dave is round. Dave is not smart. Dave is white. Harry is blue. Harry is cold. Harry is not white. If something is not red then it is blue. If something is smart then it is white. If something is white and not round then it is blue.
Dave is not round.