Consider the following premises. ~R(b). p_4. forall x: T(x) <-> R(x). p_14 -> ~p_4. Can we infer ~T(b) and ~p_14 from them?
 From p_14 -> ~p_4, p_4 we can infer ~p_14. From forall x: T(x) <-> R(x) we can infer T(b) <-> R(b). From T(b) <-> R(b), ~R(b) we can infer ~T(b). Finally, from ~T(b), ~p_14 we can infer ~T(b) and ~p_14. Therefore, the answer is yes.