Use the rules of inference to prove the conclusion r given (all 1,2,3 and 4) the four premises listed below. Write your solution as a numbered sequence of statements. Identify each statement as either a premise, or a conclusion that follows according to a rule of inference from previous statements, or it is equivalent to a previous statement by the rules of logical equivalences. You should give the rule used by name and refer by number to the previous statement(s) that the rule was applied to.

a. p +- (premise)
b. p Vu (premise)
c. q (premise)
d. ((r Λ t) V p) V-u (premise)