まにょまちょLv.93事件は起きない
fact1: 住み良いということは起こらないということはみにゅみちょLv.74事件を防ぐ fact2: ぷなぷゆLv.12事件は「住み良いということおよびまにょまちょLv.93事件両方ともが起きる」ということに阻まれる fact3: 「ぷゆぷにゃLv.60事件が生じるけど思しということは生じない」ということは生まれ易いということが契機だ fact4: もし仮に住み良いということは生じないとしたら「ぷなぷゆLv.12事件が起きなくておまけにまにょまちょLv.93事件は発生しない」ということは間違っている fact5: 住み良いということが起こる fact6: 住み良いということは発生しないということは「ぷゆぷにゃLv.60事件が起こるがしかし思しということは発生しない」ということに起因する fact7: ぷなぷゆLv.12事件が生じる
void -> assump1: 以下のように仮定する。まにょまちょLv.93事件が発生する; fact5 & assump1 -> int1: 住み良いということおよびまにょまちょLv.93事件どちらもが発生する; int1 & fact2 -> int2: ぷなぷゆLv.12事件は発生しない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact5 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。まにょまちょLv.93事件が発生する
$facts$ = fact1: 住み良いということは起こらないということはみにゅみちょLv.74事件を防ぐ fact2: ぷなぷゆLv.12事件は「住み良いということおよびまにょまちょLv.93事件両方ともが起きる」ということに阻まれる fact3: 「ぷゆぷにゃLv.60事件が生じるけど思しということは生じない」ということは生まれ易いということが契機だ fact4: もし仮に住み良いということは生じないとしたら「ぷなぷゆLv.12事件が起きなくておまけにまにょまちょLv.93事件は発生しない」ということは間違っている fact5: 住み良いということが起こる fact6: 住み良いということは発生しないということは「ぷゆぷにゃLv.60事件が起こるがしかし思しということは発生しない」ということに起因する fact7: ぷなぷゆLv.12事件が生じる ; $hypothesis$ = まにょまちょLv.93事件は起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。まにょまちょLv.93事件が発生する; fact5 & assump1 -> int1: 住み良いということおよびまにょまちょLv.93事件どちらもが発生する; int1 & fact2 -> int2: ぷなぷゆLv.12事件は発生しない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact5 & assump1 -> int1: ({A} & {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__