Question 1086495
<pre>
1.  p->~q
2.  qvr
3.  ~s        /~r

It is not valid because: 

p->~q / qvr / ~s // ~r
F->FT   TvT   FT    FT   <--a case where the premises are 
                            all true and the conclusion false 

Edwin</pre>