Anne is young. Dave is kind. Dave is round. If someone is young and not smart then they are red. If Anne is red and Anne is not nice then Anne is green. If someone is not nice and not kind then they are young. All smart, green people are young. If Anne is green and Anne is not nice then Anne is round. All young, nice people are not kind.
Anne is not round.