if we expand second statement then we get (r AND p) OR q. Now as we have calculated values using contradiction it will always be true as Q is true. if we solve just second without using previously calculated values then it depends on Q.

So my question is the values that we get from contradiction are to be used in proving second statement yes OR no?

Thanks in advace.