Consider the following premises. t -> r_4. p_24 <-> r_4. p or q_18. q. p -> t. q_18 -> t. Can we infer ~q from them? If possible, name the inference rules being used at each step.
That contradicts the premises. Therefore the answer is no.