Charlie is not green. Charlie is white. Dave is not green. Dave is rough. Gary is furry. Gary is nice. Gary is red. Gary is round. Gary is white. Harry is green. If someone is round and not green then they are furry. If Charlie is not nice then Charlie is rough. White people are red. All furry people are white. If Dave is nice and Dave is not round then Dave is white. If someone is furry and not rough then they are red.
Dave is not nice.