「もにょもにLv.21事件が発生する」ということは事実である
fact1: もいものLv.87事件が起こらないということはもにょもにLv.21事件は生じないということを防ぐ fact2: ださいということは生じない fact3: もし「もいものLv.87事件は発生するし取り次ぐことは起こらない」ということは誤りであるならもにょもにLv.21事件が生じる fact4: もいものLv.87事件が起きる fact5: もしもいものLv.87事件が生じるけれど取り次ぐことは生じないならばださいということが起きる
void -> assump1: 以下のように仮定する。もいものLv.87事件が起きるがしかし取り次ぐことは発生しない; fact5 & assump1 -> int1: ださいということが生じる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「もいものLv.87事件が起きるけれど取り次ぐことは起こらない」ということは成り立つ」ということは偽である; int3 & fact3 -> hypothesis;
void -> assump1: ({AA} & ¬{AB}); fact5 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA} & ¬{AB}); int3 & fact3 -> hypothesis;
$facts$ = fact1: もいものLv.87事件が起こらないということはもにょもにLv.21事件は生じないということを防ぐ fact2: ださいということは生じない fact3: もし「もいものLv.87事件は発生するし取り次ぐことは起こらない」ということは誤りであるならもにょもにLv.21事件が生じる fact4: もいものLv.87事件が起きる fact5: もしもいものLv.87事件が生じるけれど取り次ぐことは生じないならばださいということが起きる ; $hypothesis$ = 「もにょもにLv.21事件が発生する」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。もいものLv.87事件が起きるがしかし取り次ぐことは発生しない; fact5 & assump1 -> int1: ださいということが生じる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「もいものLv.87事件が起きるけれど取り次ぐことは起こらない」ということは成り立つ」ということは偽である; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: ({AA} & ¬{AB}); fact5 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA} & ¬{AB}); int3 & fact3 -> hypothesis; __PROVED__