Anne is green. Anne is quiet. Anne is red. Anne is smart. Anne is young. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. All young people are kind. If someone is kind and not white then they are smart. If someone is green and not young then they are smart.
Anne is not young.