Anne is green. Anne is nice. Anne is quiet. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is white. If Anne is quiet then Anne is big. Kind, quiet things are nice. All round, quiet things are white. If something is round and big then it is nice. If Dave is green then Dave is white. Quiet things are nice.
Anne is not white.