「麗しいということとみにゅみゆLv.57事件が起こる」ということは成り立たない
fact1: 仮にみにゅみゆLv.57事件は起こらないとすると麗しいということが生じるししかも憎々しいということが生じる fact2: 麗しいということが生じる fact3: 「みにゅみゆLv.57事件が起こる」ということは本当である fact4: もしも「もにゃもにょLv.69事件は起こらない」ということは成り立てば「麗しいということとみにゅみゆLv.57事件が発生する」ということは成り立たない
fact2 -> int1: 麗しいということが生じる; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
「憎々しいということが生じる」ということは本当だ
$facts$ = fact1: 仮にみにゅみゆLv.57事件は起こらないとすると麗しいということが生じるししかも憎々しいということが生じる fact2: 麗しいということが生じる fact3: 「みにゅみゆLv.57事件が起こる」ということは本当である fact4: もしも「もにゃもにょLv.69事件は起こらない」ということは成り立てば「麗しいということとみにゅみゆLv.57事件が発生する」ということは成り立たない ; $hypothesis$ = 「麗しいということとみにゅみゆLv.57事件が起こる」ということは成り立たない ; $proof$ = 
fact2 -> int1: 麗しいということが生じる; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__