Four mathematicians have a conversation, as follows: ALICE: I am insane. BOB: I am pure. CHARLES: I am applied. DOROTHY: I am sane. ALICE: Charles is pure. BOB: Dorothy is insane. CHARLES: Bob is applied. DOROTHY: Charles is sane. You are also given the following information: Pure mathematicians tell the truth about their beliefs. Applied mathematicians lie about their beliefs. Sane mathematicians' beliefs are correct. Insane mathematicians' beliefs are incorrect. With the preceding clues, classify the four mathematicians as applied or pure, and insane or sane. Briefly explain your logic.

Four mathematicians have a conversation, as follows: ALICE: I am insane. BOB: I am pure. CHARLES: I am applied. DOROTHY: I am sane. ALICE: Charles is pure. BOB: Dorothy is insane. CHARLES: Bob is applied. DOROTHY: Charles is sane. You are also given the following information: Pure mathematicians tell the truth about their beliefs. Applied mathematicians lie about their beliefs. Sane mathematicians' beliefs are correct. Insane mathematicians' beliefs are incorrect. With the preceding clues, classify the four mathematicians as applied or pure, and insane or sane. Briefly explain your logic.