Fill in each blank with either a logic statement or reason (as appropriate) for the proof of the following tautology. ur (rs) (p Vt) 9 (u As) 9 .:P Step Reason(s) u 1) 9 2) 9 ( us) 3) u As 4) 5) ul>r 6) 7) 8) ras 9) (rAs) + (p V t) 10) 11) ht 12) .:P Premise Premise Steps 1 and 2 and Step 3 and Premise Steps 4 and 5 and Step 3 and Rule of Conjunctive Simplification Steps 6 and 7 and Rule of Conjuction r Steps 8 and 9 and Modus Ponens Premise Steps 10 and 11 and