Anne is nice. Charlie is young. Gary is furry. All cold, nice people are red. If someone is red and not quiet then they are smart. Quiet, young people are smart. All cold people are furry. All quiet people are not smart. All young people are furry.
Anne is not red.