use all rules of predicate to derive the conclusion of the argument below use conditional proof or indirect proof as needed 1 . ( 7 x ) ( S x v Q x ) x [ Q x 2 ( 1 x v D X ) ] 2. ( 7 x ) ( QX - B X ) 1 ( 7 x ) NX - 7 x ( Q X . Rx ) ~ ( 7 x / / P x v - Q X ) /~ ( FX J ( R x v PX