Bob is furry. Bob is green. Bob is kind. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Harry is cold. Harry is furry. Harry is quiet. All green things are cold. If something is green then it is cold.
Charlie is not blue.