Translate the following argument into symbolic form and then use the first thirteen rules of inference to derive the conclusion of each. Use the translation letters in the order in which they are listed.
If women are by nature either passive or uncompetitive, then it is not the case that there are lawyers who are women. If men are by nature either insensitive or without the ability to nurture, then it is not the case that there are kindergarten teachers who are men. There are lawyers who are women and kindergarten teachers who are men. Therefore, it is not the case that either women by nature are uncompetitive or men by nature are without the ability to nurture. (P,U,L,I,W,K)