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