Anne is kind. Anne is round. Charlie is quiet. Green, quiet people are not round. Quiet people are nice. Red people are not nice. If someone is kind and green then they are young. All nice people are green. If Anne is green and Anne is kind then Anne is red. If someone is red and not young then they are quiet. If someone is young and not quiet then they are nice.
Anne is not kind.