Charlie is cold. Charlie is green. Charlie is quiet. Charlie is smart. Dave is round. Dave is smart. Dave is young. All green things are white. Smart things are round. If Dave is young then Dave is green.
Charlie is not quiet.