construct a derivation for the following argument pr1 p q pr2 p v t pr3 v q t r t