「「もしも表現し難くないとすると両立しない」モンスターはいる」ということは成り立たない
fact1: あのもねもにゅLv.27が果てし無いということはないとするとそれは味気なくない fact2: 発現し易くないモンスターは生ずということはない fact3: もしもあのみにょみゆLv.76が表現し難いとするとあのみにょみゆLv.76は両立しない fact4: 「もし表現し難いとしたら両立しない」モンスターはいる fact5: もしあのみにょみゆLv.76が表現し難くないならあのみにょみゆLv.76は両立するということはない
fact5 -> hypothesis;
fact5 -> hypothesis;
「もしも発現し易くないとしたら生ずない」モンスターはいる
fact6 -> int1: もし仮にこのみいみえLv.56が発現し易いということはないならこのみいみえLv.56は生ずということはない; int1 -> hypothesis;
$facts$ = fact1: あのもねもにゅLv.27が果てし無いということはないとするとそれは味気なくない fact2: 発現し易くないモンスターは生ずということはない fact3: もしもあのみにょみゆLv.76が表現し難いとするとあのみにょみゆLv.76は両立しない fact4: 「もし表現し難いとしたら両立しない」モンスターはいる fact5: もしあのみにょみゆLv.76が表現し難くないならあのみにょみゆLv.76は両立するということはない ; $hypothesis$ = 「「もしも表現し難くないとすると両立しない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
fact5 -> hypothesis; __DISPROVED__