重々しいということが起こる
fact1: もしみねみえLv.27事件が起きないしもねもいLv.68事件が発生しないならばみっともないということは発生する fact2: 「みねみえLv.27事件が起こる一方でもねもいLv.68事件は起きない」ということは間違っている fact3: 重々しいということが発生するということはみねみえLv.27事件に由来する fact4: もし「みねみえLv.27事件は起こらないしもねもいLv.68事件は起こらない」ということは成り立たないならば重々しいということが起きる fact5: みっともないということは起きない fact6: 仮にみねみえLv.27事件が生じるけどもねもいLv.68事件は起きないとすればみっともないということが起きる fact7: みねみえLv.27事件は生じない
void -> assump1: 以下のように仮定する。みねみえLv.27事件は生じないしもねもいLv.68事件は起きない; fact1 & assump1 -> int1: みっともないということが生じる; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「みねみえLv.27事件が起きなくてしかももねもいLv.68事件は発生しない」ということは成り立たない; int3 & fact4 -> hypothesis;
void -> assump1: (¬{AA} & ¬{AB}); fact1 & assump1 -> int1: {B}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA} & ¬{AB}); int3 & fact4 -> hypothesis;
$facts$ = fact1: もしみねみえLv.27事件が起きないしもねもいLv.68事件が発生しないならばみっともないということは発生する fact2: 「みねみえLv.27事件が起こる一方でもねもいLv.68事件は起きない」ということは間違っている fact3: 重々しいということが発生するということはみねみえLv.27事件に由来する fact4: もし「みねみえLv.27事件は起こらないしもねもいLv.68事件は起こらない」ということは成り立たないならば重々しいということが起きる fact5: みっともないということは起きない fact6: 仮にみねみえLv.27事件が生じるけどもねもいLv.68事件は起きないとすればみっともないということが起きる fact7: みねみえLv.27事件は生じない ; $hypothesis$ = 重々しいということが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。みねみえLv.27事件は生じないしもねもいLv.68事件は起きない; fact1 & assump1 -> int1: みっともないということが生じる; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「みねみえLv.27事件が起きなくてしかももねもいLv.68事件は発生しない」ということは成り立たない; int3 & fact4 -> hypothesis; __PROVED__
void -> assump1: (¬{AA} & ¬{AB}); fact1 & assump1 -> int1: {B}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA} & ¬{AB}); int3 & fact4 -> hypothesis; __PROVED__