リンク張り付けすることおよびもちゅもにゃLv.83事件が起きる
fact1: みなみちょLv.80事件が起こる fact2: 治療すこととやんごとないということどちらもが発生する fact3: リンク張り付けすることが生じる fact4: もし仮にリンク張り付けすることは発生しないなら酸いということともちゅもにゃLv.83事件が起こる fact5: もちゅもにゃLv.83事件が発生する fact6: もし極まりないということは起こらないならば「リンク張り付けすることおよびもちゅもにゃLv.83事件両方ともが発生する」ということは成り立たない
fact5 -> int1: もちゅもにゃLv.83事件が発生する; int1 & fact3 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> hypothesis;
「リンク張り付けすることおよびもちゅもにゃLv.83事件が起きる」ということは間違いだ
$facts$ = fact1: みなみちょLv.80事件が起こる fact2: 治療すこととやんごとないということどちらもが発生する fact3: リンク張り付けすることが生じる fact4: もし仮にリンク張り付けすることは発生しないなら酸いということともちゅもにゃLv.83事件が起こる fact5: もちゅもにゃLv.83事件が発生する fact6: もし極まりないということは起こらないならば「リンク張り付けすることおよびもちゅもにゃLv.83事件両方ともが発生する」ということは成り立たない ; $hypothesis$ = リンク張り付けすることおよびもちゅもにゃLv.83事件が起きる ; $proof$ = 
fact5 -> int1: もちゅもにゃLv.83事件が発生する; int1 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__