1. 南宋诗人翁卷曾在其诗作《山雨》中吟诵到：“平明忽见溪流急，知是他山落雨来。”翁卷虽然没有亲眼目睹“他山落雨”，但他根据已有知识，运用相关推理，得出了“知是他山落雨来”的推断。该推理过程运用了（   ） 

①以“他山落雨”为中项的三段论推理 

②以“他山落雨”为大项的三段论推理 

③涉及“溪流急”的充分条件假言推理 

④涉及“溪流急”的必要条件假言推理