Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is not red. Charlie is young. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Harry is blue. Harry is green. Harry is quiet. Harry is red. Harry is young. If something is blue then it is quiet. If Harry is blue and Harry is big then Harry is young. If Dave is furry and Dave is big then Dave is green. If Charlie is furry then Charlie is quiet. All young things are blue. If Charlie is not big then Charlie is red. If something is not young and not furry then it is quiet. If something is not quiet then it is green.
Charlie is not green.