Do the derivation of the notations using the logic 2010 program

(1)p--> (q --> r). p--> (r--> s) therefore p --> (q --> s)

(2) p --> q --> ~r). q therefore, p --> ~r

(3) ~(r --> q). q. therefore p

(4) p --> (q --> r). p --> (r --> s). therefore p --> (q --> s)

(5) (p --> q) --> r. ~r. therefore ~ q