Charlie is cold. Charlie is kind. Charlie is not smart. Dave is cold. Gary is green. Gary is kind. Gary is red. Gary is smart. Harry is green. Harry is kind. All green, smart things are round. If something is round and blue then it is red. If something is not kind then it is smart. If something is red and not kind then it is cold. Smart things are green. Kind things are red. Round things are blue. If something is not smart then it is cold. If Harry is not blue then Harry is green.
Dave is not round.