Anne is blue. Anne is green. Anne is nice. Anne is not rough. Bob is red. Bob is not young. Fiona is green. Fiona is kind. Fiona is young. Gary is nice. If Gary is rough and Gary is nice then Gary is not green. If Bob is blue and Bob is not nice then Bob is not red. If someone is not nice then they are red.
Bob is nice.