Bob is big. Bob is not cold. Bob is not smart. Charlie is big. Charlie is nice. Charlie is quiet. Gary is big. Gary is blue. Gary is cold. Gary is smart. Harry is big. Harry is cold. If something is not nice then it is quiet.
Charlie is not smart.