Charlie is blue. Charlie is green. Charlie is nice. Charlie is rough. Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is rough. If something is rough and nice then it is quiet. All green, blue things are furry. If Charlie is furry and Charlie is green then Charlie is blue. If something is rough then it is quiet. Nice things are rough. All furry, quiet things are rough. If something is quiet then it is furry. Rough things are nice.
Harry is not blue.