一个有效的第三格三段论，其大前提为MIP，其小前提应为（），结论应为（）。