Anne is blue. Anne is young. Bob is blue. Bob is green. Bob is not nice. Dave is not blue. Dave is nice. Dave is red. Dave is rough. Dave is not young. If someone is blue and rough then they are nice. If someone is smart then they are blue. Rough, smart people are not nice. All blue people are red. All blue, smart people are green. Blue, nice people are green.
Anne is not green.