前提: 彐xF(x)→Аy(F(y)→R(y))，彐xF(x) 结论：彐xR(x)

证明 ① 彐xF(x) 前提引入 ② 彐xF(x)→Аy(F(y)→R(y)) 前提引入 ③ F(c) ① ES ④ Аy(F(y)→R(y)) ①② 假言推理 ⑤ F(c)→R(c) ④ US ⑥ R(c) ③⑤ 假言推理 ⑦ 彐xR(x) ⑥ EG