以下のように仮定する。惜しいということが生じる
fact1: まにまえLv.38事件が生じる fact2: まゆまなLv.9事件が起こる fact3: 捕らえ難いということは生じない fact4: 「まねまちょLv.26事件は起こらなくて捕らえ難いということは起こらない」ということは「惜しいということが生じる」ということに誘発される fact5: まねまちょLv.26事件が発生する fact6: 「捕らえ難いということは起こらない」ということは「惜しいということが起こる」ということにより生じる fact7: もしぽねぽくLv.4事件は起こらないならば惜しいということが起きるしおまけにぷにゅぷいLv.92事件が起きる
void -> assump1: 以下のように仮定する。惜しいということが生じる; fact4 & assump1 -> int1: まねまちょLv.26事件は生じないしさらに捕らえ難いということは発生しない; int1 -> int2: まねまちょLv.26事件は生じない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact4 & assump1 -> int1: (¬{AA} & ¬{AB}); int1 -> int2: ¬{AA}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。惜しいということが生じる
$facts$ = fact1: まにまえLv.38事件が生じる fact2: まゆまなLv.9事件が起こる fact3: 捕らえ難いということは生じない fact4: 「まねまちょLv.26事件は起こらなくて捕らえ難いということは起こらない」ということは「惜しいということが生じる」ということに誘発される fact5: まねまちょLv.26事件が発生する fact6: 「捕らえ難いということは起こらない」ということは「惜しいということが起こる」ということにより生じる fact7: もしぽねぽくLv.4事件は起こらないならば惜しいということが起きるしおまけにぷにゅぷいLv.92事件が起きる ; $hypothesis$ = 以下のように仮定する。惜しいということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。惜しいということが生じる; fact4 & assump1 -> int1: まねまちょLv.26事件は生じないしさらに捕らえ難いということは発生しない; int1 -> int2: まねまちょLv.26事件は生じない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact4 & assump1 -> int1: (¬{AA} & ¬{AB}); int1 -> int2: ¬{AA}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__