Consider the following premises. t. q -> ~t. w -> q. Can we infer w from them?
 From q -> ~t, t we can infer ~q. Finally, from w -> q, ~q we can infer ~w, which contradicts w. Therefore, the answer is no.