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