まいまやLv.98事件は生じない
fact1: 見分け難いということは聞き続けることは起きないということを回避する fact2: 聞き続けることは生じない fact3: まいまやLv.98事件は見分け難いということは起こらないということに引き起こされる fact4: もなもえLv.82事件はぷにゅぷわLv.14事件に帰結する
void -> assump1: 以下のように仮定する。見分け難いということが起こる; fact1 & assump1 -> int1: 聞き続けることが起こる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 見分け難いということは発生しない; int3 & fact3 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact3 -> hypothesis;
$facts$ = fact1: 見分け難いということは聞き続けることは起きないということを回避する fact2: 聞き続けることは生じない fact3: まいまやLv.98事件は見分け難いということは起こらないということに引き起こされる fact4: もなもえLv.82事件はぷにゅぷわLv.14事件に帰結する ; $hypothesis$ = まいまやLv.98事件は生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。見分け難いということが起こる; fact1 & assump1 -> int1: 聞き続けることが起こる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 見分け難いということは発生しない; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact3 -> hypothesis; __DISPROVED__