Bob is smart. Charlie is nice. Gary is round. Harry is big. If something is blue then it is cold. Cold things are green. Green things are big. If something is not smart then it is blue. If something is nice then it is green. If something is cold and smart then it is not nice. If something is not smart and not blue then it is not cold. If something is not cold then it is not blue.
Charlie is not smart.