Anne is red. Bob is rough. Charlie is kind. Dave is young. If Anne is young then Anne is kind. If someone is rough and kind then they are green. Rough people are kind. If someone is red then they are big. If someone is young then they are big. If someone is kind and green then they are red. All green people are kind. Young, green people are rough.
Anne is not green.