以下のように仮定する。気付き難いということが生じる
fact1: みにゅみにLv.28事件が起こる fact2: みにゅみにLv.28事件および気付き難いということが起きるは油っぽいということは発生しないということを招く fact3: 得易いということが起こる fact4: 聞こえ難いということが生じる fact5: 油っぽいということが起こる fact6: 「さり気無いということおよびし易いということ両方ともが生じる」ということは分解され難いということは起きないということに帰結する
void -> assump1: 以下のように仮定する。気付き難いということが生じる; fact1 & assump1 -> int1: みにゅみにLv.28事件が発生するしさらに気付き難いということが生じる; int1 & fact2 -> int2: 油っぽいということは生じない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: みにゅみにLv.28事件が起こる fact2: みにゅみにLv.28事件および気付き難いということが起きるは油っぽいということは発生しないということを招く fact3: 得易いということが起こる fact4: 聞こえ難いということが生じる fact5: 油っぽいということが起こる fact6: 「さり気無いということおよびし易いということ両方ともが生じる」ということは分解され難いということは起きないということに帰結する ; $hypothesis$ = 以下のように仮定する。気付き難いということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。気付き難いということが生じる; fact1 & assump1 -> int1: みにゅみにLv.28事件が発生するしさらに気付き難いということが生じる; int1 & fact2 -> int2: 油っぽいということは生じない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__