「ぷにょぷくLv.22事件とみいみなLv.21事件両方ともが生じる」ということは誤りである
fact1: 「みくみちょLv.7事件およびみちょみやLv.25事件どちらもが生じる」ということは事実と異なる fact2: みいみなLv.21事件が発生する fact3: 「みくみちょLv.7事件ではなくみちょみやLv.25事件が発生する」ということは事実と異なる fact4: 「みくみちょLv.7事件が発生しないけどみちょみやLv.25事件は発生する」ということは「ぷにょぷくLv.22事件は起きない」ということが契機である
void -> assump1: 以下のように仮定する。ぷにょぷくLv.22事件は起きない; fact4 & assump1 -> int1: みくみちょLv.7事件ではなくみちょみやLv.25事件が起こる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぷにょぷくLv.22事件は生じない」ということは嘘だ; int3 & fact2 -> hypothesis;
void -> assump1: ¬{A}; fact4 & assump1 -> int1: (¬{AA} & {AB}); int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 & fact2 -> hypothesis;
$facts$ = fact1: 「みくみちょLv.7事件およびみちょみやLv.25事件どちらもが生じる」ということは事実と異なる fact2: みいみなLv.21事件が発生する fact3: 「みくみちょLv.7事件ではなくみちょみやLv.25事件が発生する」ということは事実と異なる fact4: 「みくみちょLv.7事件が発生しないけどみちょみやLv.25事件は発生する」ということは「ぷにょぷくLv.22事件は起きない」ということが契機である ; $hypothesis$ = 「ぷにょぷくLv.22事件とみいみなLv.21事件両方ともが生じる」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷにょぷくLv.22事件は起きない; fact4 & assump1 -> int1: みくみちょLv.7事件ではなくみちょみやLv.25事件が起こる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「ぷにょぷくLv.22事件は生じない」ということは嘘だ; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; fact4 & assump1 -> int1: (¬{AA} & {AB}); int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 & fact2 -> hypothesis; __DISPROVED__