「「仮にブートしないとすると惨たらしくなくて怪しくない」モンスターはいる」ということは成り立たない
fact1: もしとあるモンスターがブートしないならばそれは惨たらしくないし更に怪しくない fact2: 仮にこのみねみにょLv.9が成し難くないとしたらこのみねみにょLv.9は長しないし更にブートするということはない fact3: もしそのぴえぴえLv.75はブートするということはないとすれば「惨たらしくないし更に怪しい」ということは成り立つ
fact1 -> int1: 「そのぴえぴえLv.75はブートする」ということは誤りであるならばそのぴえぴえLv.75は惨たらしくないしそれは怪しくない; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしとあるモンスターがブートしないならばそれは惨たらしくないし更に怪しくない fact2: 仮にこのみねみにょLv.9が成し難くないとしたらこのみねみにょLv.9は長しないし更にブートするということはない fact3: もしそのぴえぴえLv.75はブートするということはないとすれば「惨たらしくないし更に怪しい」ということは成り立つ ; $hypothesis$ = 「「仮にブートしないとすると惨たらしくなくて怪しくない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「そのぴえぴえLv.75はブートする」ということは誤りであるならばそのぴえぴえLv.75は惨たらしくないしそれは怪しくない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__