ぷにょぷよLv.1事件が生じる
fact1: 止む無しということは起こらない fact2: ぷえぷわLv.41事件および低いということが発生する fact3: 仮にもねもちゃLv.26事件が生じるとしたら重苦しいということではなくて統べることが生じる fact4: もしも重苦しいということが生じるししかも統べることが起きるとするとぷにょぷよLv.1事件は生じない fact5: ぷえぷわLv.41事件が起こる fact6: 「ぷえぷわLv.41事件とぷにょぷよLv.1事件が発生する」ということは「低いということは起こらない」ということが原因だ fact7: 「統べることが起きる」ということは事実である fact8: 嘱託することは発生しないということは低いということに阻まれる fact9: 「重苦しいということは起きない」ということは嘱託することに防がれる
fact2 -> int1: 低いということが発生する; int1 & fact8 -> int2: 嘱託することが起こる; int2 & fact9 -> int3: 「重苦しいということが生じる」ということは成り立つ; int3 & fact7 -> int4: 重苦しいということが起こるしさらに統べることが発生する; int4 & fact4 -> hypothesis;
fact2 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact9 -> int3: {D}; int3 & fact7 -> int4: ({D} & {E}); int4 & fact4 -> hypothesis;
ぷにょぷよLv.1事件が生じる
$facts$ = fact1: 止む無しということは起こらない fact2: ぷえぷわLv.41事件および低いということが発生する fact3: 仮にもねもちゃLv.26事件が生じるとしたら重苦しいということではなくて統べることが生じる fact4: もしも重苦しいということが生じるししかも統べることが起きるとするとぷにょぷよLv.1事件は生じない fact5: ぷえぷわLv.41事件が起こる fact6: 「ぷえぷわLv.41事件とぷにょぷよLv.1事件が発生する」ということは「低いということは起こらない」ということが原因だ fact7: 「統べることが起きる」ということは事実である fact8: 嘱託することは発生しないということは低いということに阻まれる fact9: 「重苦しいということは起きない」ということは嘱託することに防がれる ; $hypothesis$ = ぷにょぷよLv.1事件が生じる ; $proof$ = 
fact2 -> int1: 低いということが発生する; int1 & fact8 -> int2: 嘱託することが起こる; int2 & fact9 -> int3: 「重苦しいということが生じる」ということは成り立つ; int3 & fact7 -> int4: 重苦しいということが起こるしさらに統べることが発生する; int4 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact9 -> int3: {D}; int3 & fact7 -> int4: ({D} & {E}); int4 & fact4 -> hypothesis; __DISPROVED__