证人不可能不出庭，所以，证人可能出庭。

证人不可能不出庭，所以，证人可能出庭。
正确答案：模态对当推理，推理形式：并非可能非P→可能P，推理形式有效，因为可能非P与可能P之间是下反对关系，从一个命题为假可以推出另一个命题为真。