小汚いということは発生しない
fact1: 「小汚いということは起きないかまたは容易いということは生じないか両方である」ということは成り立たないなら「か細いということは生じない」ということは正しい fact2: 小汚いということが起きるなら止む無しということは起こらないかまたはみにみわLv.0事件が起こる fact3: 狭苦しいということが起きるか座視出来ることが起こるかもしくは両方ともだ fact4: もしむくつけしということは起こらないなら「小汚いということは生じないかあるいは容易いということは起こらないかまたは両方ともだ」ということは成り立たない fact5: 「まなまねLv.69事件は起こらない」ということかまたはぷよぷいLv.42事件かもしくはどちらもは惨めったらしいということが契機だ fact6: 止む無しということは起きないということかもしくはみにみわLv.0事件は「容易いということは発生しない」ということを引き起こす fact7: 容易いということが発生する fact8: 仮にむくつけしということは発生しないならば「小汚いということが発生するし更に容易いということが起きる」ということは正しい
void -> assump1: 以下のように仮定する。「小汚いということは起きない」ということは間違っている; fact2 & assump1 -> int1: 止む無しということは起こらないかあるいはみにみわLv.0事件が起きるかまたは両方だ; int1 & fact6 -> int2: 容易いということは発生しない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: (¬{AA} v {AB}); int1 & fact6 -> int2: ¬{B}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「小汚いということは起きない」ということは間違っている
$facts$ = fact1: 「小汚いということは起きないかまたは容易いということは生じないか両方である」ということは成り立たないなら「か細いということは生じない」ということは正しい fact2: 小汚いということが起きるなら止む無しということは起こらないかまたはみにみわLv.0事件が起こる fact3: 狭苦しいということが起きるか座視出来ることが起こるかもしくは両方ともだ fact4: もしむくつけしということは起こらないなら「小汚いということは生じないかあるいは容易いということは起こらないかまたは両方ともだ」ということは成り立たない fact5: 「まなまねLv.69事件は起こらない」ということかまたはぷよぷいLv.42事件かもしくはどちらもは惨めったらしいということが契機だ fact6: 止む無しということは起きないということかもしくはみにみわLv.0事件は「容易いということは発生しない」ということを引き起こす fact7: 容易いということが発生する fact8: 仮にむくつけしということは発生しないならば「小汚いということが発生するし更に容易いということが起きる」ということは正しい ; $hypothesis$ = 小汚いということは発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「小汚いということは起きない」ということは間違っている; fact2 & assump1 -> int1: 止む無しということは起こらないかあるいはみにみわLv.0事件が起きるかまたは両方だ; int1 & fact6 -> int2: 容易いということは発生しない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: (¬{AA} v {AB}); int1 & fact6 -> int2: ¬{B}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__