Consider a structure that makes p true, r false, and q false.
For #2), most textbooks (if they refer to it at all) call that form (or a slightly massaged version of it), complex constructive dilemma.
It's certainly a valid argument. But, I think you'll need to be clear about what you mean by "justifying it".
A semantic approach isn't too bad here, since there is only one way to make the conclusion false.
That of course fixes the truth-values for q and s. Now all you have to do is fiddle around with p and r in an attempt to make the premisses true. You'll quickly see that any such attempt is futile.
Of course in a logic equipped with a deductive apparatus, say a typical NDS, you could just carry out a formal derivation. The derivation will require a few steps, if you restrict yourself to working only with the normal prime rules of inference.
In this context, another thing to consider is what should be taken for VE as a prime rule.
Some texts take a rule version of simple constructive dilemma as their VE; on the other hand, some take disjunctive syllogism.
I'd say your free to choose. Which one might be best suited for a derivation of #2?