以下のように仮定する。もちゃものLv.42事件が起こる
fact1: 「ぷねぷにLv.52事件が生じる」ということかまゆまやLv.86事件か両方ともは「期待し難いということは起こらない」ということに起因する fact2: もゆもよLv.70事件は発生しない fact3: 仮に「「期待し難いということが起きるししかも口さがないということが起こる」ということは事実と異なる」ということは本当ならば「期待し難いということは起きない」ということは成り立つ fact4: もしもちゃものLv.42事件が起こるかまゆまやLv.86事件が起こるとすればぷねぷにLv.52事件は発生しない fact5: ぷねぷにLv.52事件が起きる fact6: もし期待し難いということは起きないとすればまゆまやLv.86事件は起こらないがしかしぷねぷにLv.52事件が起きる
void -> assump1: 以下のように仮定する。もちゃものLv.42事件が起こる; assump1 -> int1: もちゃものLv.42事件かまゆまやLv.86事件かあるいは両方ともが生じる; int1 & fact4 -> int2: ぷねぷにLv.52事件は生じない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。もちゃものLv.42事件が起こる
$facts$ = fact1: 「ぷねぷにLv.52事件が生じる」ということかまゆまやLv.86事件か両方ともは「期待し難いということは起こらない」ということに起因する fact2: もゆもよLv.70事件は発生しない fact3: 仮に「「期待し難いということが起きるししかも口さがないということが起こる」ということは事実と異なる」ということは本当ならば「期待し難いということは起きない」ということは成り立つ fact4: もしもちゃものLv.42事件が起こるかまゆまやLv.86事件が起こるとすればぷねぷにLv.52事件は発生しない fact5: ぷねぷにLv.52事件が起きる fact6: もし期待し難いということは起きないとすればまゆまやLv.86事件は起こらないがしかしぷねぷにLv.52事件が起きる ; $hypothesis$ = 以下のように仮定する。もちゃものLv.42事件が起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。もちゃものLv.42事件が起こる; assump1 -> int1: もちゃものLv.42事件かまゆまやLv.86事件かあるいは両方ともが生じる; int1 & fact4 -> int2: ぷねぷにLv.52事件は生じない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__