Formula:

p & ((~p => ~q) => (p => q))



Clauses:

1. p
2. ~p | q



Refutation:

No refutation can be found.



Conclusion:

-> The formula is satisfiable.