今天Miqa闲来无事
对教授说：“你是原。”
教授说：“我不是原。”
经过了很长时间的激烈的辩论之后
事情发展到了这样：
Miqa：“你不能证明你不是原，所以你是原。”
教授：“你也不能证明，你也是原。”
Miqa沉思片刻
Miqa：“我能证明我不是原。”
证明过程：
由 基本事实 得，咱俩当中有且仅有一个是原；
∵ 你不能证明你不是原；
∴ 你是原；
∴ 我不是原；
QED.
教授：（证明过程第二行）你也不能证明你不是原，（第三行）所以你是原，（第四行）所以我不是原。
Miqa：我这不是证明了吗？
教授：......你这基本事实哪来的？
Miqa：基本事实不需要证明。
教授：你这基本事实是错的。
Miqa：你怎么证明是错的？
教授：咱先假设它是错的。
Miqa：好好好，咱先假设你是原，所以你是原。
教授：反证法，基本事实是错的也能成立。
教授：如果基本事实是错的，你就不能证明你不是原，这样我就不是原。
Miqa：你怎么知道没有这个基本事实我就证不出来？我再换个基本事实不就得了。
教授破防了，把这个问题交给了聪明的你，你能帮教授解决这个问题吗？
输入格式：无。
输出格式：若干行仅包含汉字和符号的字符串，表示证明教授不是原的证明过程。