“一个推理只有形式正确,才能得出可靠的结论,这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了（）

• A、正确的否定后件式
• B、错误的否定后件式
• C、正确的否定前件式
• D、错误的否定前件式

如果SIP为真，则一定有（）

• A、SEP为假
• B、SOP为假
• C、SOP为真
• D、SAP为假

甲、乙两位歌手参加某歌唱竞赛活动，经过多轮比赛后，形成以下确切的判断:

(1)进入总决赛的或者有甲，或者有乙。

(2)若甲进入总决赛，则进入总决赛的有六位歌手。

(3)若乙在比赛中发挥出色，则进入总决赛的歌手不是六位。

(4)若乙在比赛中发挥不出色，则赞助商丙将减少对乙的宣传投入。

(5)赞助商丙没有减少对乙的宣传投入。

请问:根据以上判断可推出谁将进入总决赛?请写出推导过程。