以下のように仮定する。「気付き難いということが生じる」ということは事実である
fact1: もなもわLv.60事件は「気付き難いということが起こるし更に息苦しいということが発生する」ということに阻止される fact2: もなもわLv.60事件が発生する fact3: 息苦しいということが起きる fact4: 「腫脹することは起きない」ということは「発現し易いということが起こるけれどまちょまわLv.47事件は起きない」ということにもたらされる fact5: 仮に腫脹することは起きないとするともなもわLv.60事件およびまちょまちょLv.23事件が起きる fact6: もしも息苦しいということは起きないとすると赤しということと気付き難いということ両方が生じる fact7: 息苦しいということはもなもわLv.60事件およびまちょまちょLv.23事件が起こるに阻まれる
void -> assump1: 以下のように仮定する。「気付き難いということが生じる」ということは事実である; assump1 & fact3 -> int1: 気付き難いということと息苦しいということが発生する; int1 & fact1 -> int2: もなもわLv.60事件は発生しない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
赤しということが起きる
$facts$ = fact1: もなもわLv.60事件は「気付き難いということが起こるし更に息苦しいということが発生する」ということに阻止される fact2: もなもわLv.60事件が発生する fact3: 息苦しいということが起きる fact4: 「腫脹することは起きない」ということは「発現し易いということが起こるけれどまちょまわLv.47事件は起きない」ということにもたらされる fact5: 仮に腫脹することは起きないとするともなもわLv.60事件およびまちょまちょLv.23事件が起きる fact6: もしも息苦しいということは起きないとすると赤しということと気付き難いということ両方が生じる fact7: 息苦しいということはもなもわLv.60事件およびまちょまちょLv.23事件が起こるに阻まれる ; $hypothesis$ = 以下のように仮定する。「気付き難いということが生じる」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。「気付き難いということが生じる」ということは事実である; assump1 & fact3 -> int1: 気付き難いということと息苦しいということが発生する; int1 & fact1 -> int2: もなもわLv.60事件は発生しない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__