(p -> q) v [(p • r) -> q]
~p v (q -> s)
s

Testing the validity of this by contradiction is bad enough, let alone truth tables.