以下のように仮定する。単純過ぎることは発生しない
fact1: ぷちゃぷくLv.19事件が起こる fact2: もし仮に単純過ぎることは起きないとすれば「ぴなぴよLv.94事件ではなくて平べったいということが生じる」ということは誤りだ fact3: 物狂おしいということは「ぷちゃぷくLv.19事件が起きるけれど単純過ぎることは生じない」ということに阻まれる fact4: 「差し出がましいということが発生するししかもぴいぴやLv.43事件が起こる」ということは成り立つということはない fact5: ぴなぴよLv.94事件は「ぷちゃぷくLv.19事件は起こらない」ということを引き起こす fact6: もし仮に「ぴなぴよLv.94事件ではなく平べったいということが起こる」ということは成り立たないならばぷちゃぷくLv.19事件は起きない
void -> assump1: 以下のように仮定する。単純過ぎることは発生しない; fact2 & assump1 -> int1: 「ぴなぴよLv.94事件が発生しないけど平べったいということは発生する」ということは誤っている; int1 & fact6 -> int2: ぷちゃぷくLv.19事件は発生しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact6 -> int2: ¬{B}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
物狂おしいということは発生しない
$facts$ = fact1: ぷちゃぷくLv.19事件が起こる fact2: もし仮に単純過ぎることは起きないとすれば「ぴなぴよLv.94事件ではなくて平べったいということが生じる」ということは誤りだ fact3: 物狂おしいということは「ぷちゃぷくLv.19事件が起きるけれど単純過ぎることは生じない」ということに阻まれる fact4: 「差し出がましいということが発生するししかもぴいぴやLv.43事件が起こる」ということは成り立つということはない fact5: ぴなぴよLv.94事件は「ぷちゃぷくLv.19事件は起こらない」ということを引き起こす fact6: もし仮に「ぴなぴよLv.94事件ではなく平べったいということが起こる」ということは成り立たないならばぷちゃぷくLv.19事件は起きない ; $hypothesis$ = 以下のように仮定する。単純過ぎることは発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。単純過ぎることは発生しない; fact2 & assump1 -> int1: 「ぴなぴよLv.94事件が発生しないけど平べったいということは発生する」ということは誤っている; int1 & fact6 -> int2: ぷちゃぷくLv.19事件は発生しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact6 -> int2: ¬{B}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__