そのもちゅもいLv.42は麗しない
fact1: あるモンスターが形容し難いとすればそのもちゅもいLv.42は麗し fact2: 「形容し難い」モンスターはいる fact3: 仮にあのもいもねLv.45が形容し難くない一方でサロン化するならそのもちゅもいLv.42は麗しない
fact2 -> int1: 「形容し難い」モンスターはいる; int1 & fact1 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis;
そのもちゅもいLv.42は麗しない
$facts$ = fact1: あるモンスターが形容し難いとすればそのもちゅもいLv.42は麗し fact2: 「形容し難い」モンスターはいる fact3: 仮にあのもいもねLv.45が形容し難くない一方でサロン化するならそのもちゅもいLv.42は麗しない ; $hypothesis$ = そのもちゅもいLv.42は麗しない ; $proof$ = 
fact2 -> int1: 「形容し難い」モンスターはいる; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact1 -> hypothesis; __DISPROVED__