「「そのぴえぴのLv.53は討議すし加えて安い」ということは成り立たない」ということは間違いでない
fact1: もしもせこくないモンスターが割り広げないとしたらそのぴえぴのLv.53は討議す fact2: もしあるモンスターがせこいとしたらそれは割り広げる fact3: 仮にそのぽちゅぽえLv.33がせこいとしたらそのぴえぴのLv.53はせこい fact4: もしなんらかのモンスターが討議すればそれはせこい fact5: そのぴえぴのLv.53は安い fact6: 「せこくないしさらに割り広げない」モンスターはいる
fact6 & fact1 -> int1: そのぴえぴのLv.53は討議す; int1 & fact5 -> hypothesis;
fact6 & fact1 -> int1: {C}{a}; int1 & fact5 -> hypothesis;
そのぴえぴのLv.53は割り広げる
fact7 -> int2: もし仮にそのぴえぴのLv.53がせこいとするとそのぴえぴのLv.53は割り広げる; fact9 -> int3: 仮にそのぽちゅぽえLv.33が討議すならせこい;
$facts$ = fact1: もしもせこくないモンスターが割り広げないとしたらそのぴえぴのLv.53は討議す fact2: もしあるモンスターがせこいとしたらそれは割り広げる fact3: 仮にそのぽちゅぽえLv.33がせこいとしたらそのぴえぴのLv.53はせこい fact4: もしなんらかのモンスターが討議すればそれはせこい fact5: そのぴえぴのLv.53は安い fact6: 「せこくないしさらに割り広げない」モンスターはいる ; $hypothesis$ = 「「そのぴえぴのLv.53は討議すし加えて安い」ということは成り立たない」ということは間違いでない ; $proof$ = 
fact6 & fact1 -> int1: そのぴえぴのLv.53は討議す; int1 & fact5 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: {C}{a}; int1 & fact5 -> hypothesis; __DISPROVED__