Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Harry is cold. Harry is furry. Harry is nice. If something is quiet then it is nice. If something is nice and cold then it is furry. If Charlie is furry then Charlie is nice.
Harry is not blue.