Bob is not blue. Bob is cold. Bob is not nice. Bob is round. Charlie is big. Charlie is blue. Charlie is cold. Charlie is round. Harry is big. Harry is not blue. Harry is quiet. Harry is round. All cold things are not quiet. If Harry is cold then Harry is not blue. All quiet, big things are round. If something is not nice then it is smart. If something is not nice then it is big. Smart, nice things are quiet. If Charlie is round then Charlie is big. If something is nice and not smart then it is not big.
Charlie is not smart.