suppose

[(~p V q) -> r] /\ [s V ~q] /\ [~t] /\ [p -> t] /\ [(~p /\ r) -> ~s] /\ q

then

[(~p V true) -> r] /\ [s V false] /\ [~t] /\ [p -> t] /\ [(~p /\ r) -> ~s]

[ r] /\ [s] /\ ~p /\ [(~p /\ r) -> ~s]

[s] /\ [~s]

is a contradiction

[(~p V q) -> r] /\ [s V ~q] /\ [~t] /\ [p -> t] /\ [(~p /\ r) -> ~s] /\ q

then

[(~p V true) -> r] /\ [s V false] /\ [~t] /\ [p -> t] /\ [(~p /\ r) -> ~s]

[ r] /\ [s] /\ ~p /\ [(~p /\ r) -> ~s]

[s] /\ [~s]

is a contradiction