Anne is big. Anne is blue. Anne is not green. Anne is kind. Anne is red. Anne is round. Dave is big. Dave is not blue. Dave is kind. Dave is quiet. Dave is round. Gary is green. If Anne is not quiet then Anne is red.
Anne is not round.