落ち難いということおよび色っぽいということが発生する
fact1: 「仮に暗しということが発生するとするとみにゅみわLv.96事件は起こらなくて更に阿呆らしいということは生じない」ということは事実だ fact2: 色っぽいということが生じる fact3: 仮に「等しいということは起きないしその上進め易いということは起こらない」ということは成り立たないとすると適応することが生じる fact4: 阿呆らしいということは発生しない fact5: もし仮に阿呆らしいということは発生しないならば「ぽねぽわLv.55事件が生じないしその上みねみちょLv.28事件は起こらない」ということは成り立たない fact6: 落ち難いということは生じないということはみにゅみわLv.96事件が起きるということに防がれる fact7: もし「ぽねぽわLv.55事件が起きないしかつみねみちょLv.28事件は発生しない」ということは間違いだとしたらみにゅみわLv.96事件が生じる fact8: みにゅみわLv.96事件は生じないならば「落ち難いということが起こるしおまけに色っぽいということが起こる」ということは嘘だ
fact4 & fact5 -> int1: 「ぽねぽわLv.55事件は起こらなくてみねみちょLv.28事件は発生しない」ということは嘘である; fact7 & int1 -> int2: みにゅみわLv.96事件が起きる; int2 & fact6 -> int3: 落ち難いということが起こる; int3 & fact2 -> hypothesis;
fact4 & fact5 -> int1: ¬(¬{AA} & ¬{AB}); fact7 & int1 -> int2: {B}; int2 & fact6 -> int3: {A}; int3 & fact2 -> hypothesis;
「落ち難いということおよび色っぽいということが生じる」ということは成り立たない
$facts$ = fact1: 「仮に暗しということが発生するとするとみにゅみわLv.96事件は起こらなくて更に阿呆らしいということは生じない」ということは事実だ fact2: 色っぽいということが生じる fact3: 仮に「等しいということは起きないしその上進め易いということは起こらない」ということは成り立たないとすると適応することが生じる fact4: 阿呆らしいということは発生しない fact5: もし仮に阿呆らしいということは発生しないならば「ぽねぽわLv.55事件が生じないしその上みねみちょLv.28事件は起こらない」ということは成り立たない fact6: 落ち難いということは生じないということはみにゅみわLv.96事件が起きるということに防がれる fact7: もし「ぽねぽわLv.55事件が起きないしかつみねみちょLv.28事件は発生しない」ということは間違いだとしたらみにゅみわLv.96事件が生じる fact8: みにゅみわLv.96事件は生じないならば「落ち難いということが起こるしおまけに色っぽいということが起こる」ということは嘘だ ; $hypothesis$ = 落ち難いということおよび色っぽいということが発生する ; $proof$ = 
fact4 & fact5 -> int1: 「ぽねぽわLv.55事件は起こらなくてみねみちょLv.28事件は発生しない」ということは嘘である; fact7 & int1 -> int2: みにゅみわLv.96事件が起きる; int2 & fact6 -> int3: 落ち難いということが起こる; int3 & fact2 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: ¬(¬{AA} & ¬{AB}); fact7 & int1 -> int2: {B}; int2 & fact6 -> int3: {A}; int3 & fact2 -> hypothesis; __PROVED__