Anne is nice. Anne is young. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Erin is nice. Erin is red. All young people are round. If Charlie is red then Charlie is nice. If Anne is quiet then Anne is smart. If Anne is round then Anne is white. If Charlie is red then Charlie is quiet. Nice people are red.
Anne is not white.