Makes sense, thanks!
I was confused because for some of the exercises, I couldn't reach the right conclusion.
For example, the following's conclusion should be t, Given: {p∨q, q→r, p∧s→t, ¬r, ¬q→u∧s}
Yet I find q∨t.
That said. If you prove a contradiction between two premises, and thus dismiss...