Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is young. Charlie is not green. Charlie is not young. Gary is blue. Gary is kind. Gary is not red. Gary is not rough. Gary is young. Harry is not blue. Harry is not furry. Harry is green. Harry is red. Rough people are blue. Young, rough people are red. Kind, green people are not rough. If someone is not green and not young then they are rough. Rough, blue people are not red. If someone is kind and not red then they are not rough.
Charlie is green.