Anne is red. Charlie is smart. Charlie is young. All quiet people are white. If Charlie is red and Charlie is quiet then Charlie is blue. Young people are smart. Young people are green. If someone is red then they are quiet. All quiet people are smart.
Anne is not white.