Bob is cold. Bob is green. Bob is not nice. Bob is not quiet. Bob is round. Bob is smart. Charlie is blue. Charlie is cold. Charlie is smart. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is smart. If someone is cold and blue then they are quiet. Cold people are round. If Harry is not quiet and Harry is not round then Harry is smart.
Charlie is not smart.