Bob is green. Bob is kind. Bob is red. Bob is not young. Charlie is furry. Charlie is kind. Fiona is not kind. Gary is blue. Gary is red. Gary is young. If something is nice then it is green. All furry things are nice. All nice things are young.
Bob is not blue.