Anne is big. Anne is green. Anne is quiet. Anne is round. Bob is kind. Bob is quiet. Bob is red. Bob is white. Charlie is red. Charlie is round. Quiet people are white. If someone is round then they are quiet. If someone is red and green then they are round. All red, white people are round. All quiet people are round. If someone is red and white then they are quiet. All quiet people are big. If Bob is big and Bob is round then Bob is quiet.
Anne is not white.