Anne is cold. Anne is kind. Anne is not red. Anne is not rough. Anne is round. Anne is young. Bob is cold. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is young. Dave is not cold. Dave is red. Dave is rough. Dave is not round. If Bob is not green then Bob is rough. If someone is red and young then they are cold. If someone is green then they are young. If someone is cold then they are kind. If Anne is rough and Anne is not green then Anne is round. If someone is young and not kind then they are rough. If someone is not cold then they are not green. If Bob is not rough then Bob is young.
Anne is not green.