Consider the following premises. ~t_3. R_17(j) -> t_3. forall x_17: R_17(x_17) -> S_17(x_17). S_17(j) -> R_17(j). Can we infer ~q from them?
We cannot infer that from the premises. Therefore the answer is no.