Look at the following proof in propositional logic. The derivation lines (to the left, after the line numbers) are provided. Select the correct sequence of justification lines (i.e., fill in the blanks). Premise Premise Premise 1. AVB 2.-A.(C.D 3.-B 4.-C 5.~A 6.C.D Premise/Show D 7.D O 1,2 MP: 2, S: 4,6 DS O 2 S; 2,5 MT; 4,1 DS O 1,3 HT; 2 S; 4,6 Conj O 2 S; 25; 6S