一个有效的第二格三段论式，其小前提若为SIM，则其大前提应为（），结论应为（）。