Show that [(~p ^ q) ^ (q ^ r) ^ (~q)] is a contradiction.
[(~p ^ q) ^ (q ^ r) ^ (~q)]
From last column we conclude that it is a contradiction