このぽにぽにゅLv.58は痛いということはない
fact1: 仮に「そのぽちょぽやLv.44は痛くないけどそれは固い」ということは成り立たないとすればあのみわみなLv.57は痛くない fact2: そのぽちょぽやLv.44が愚かしいならそれは限り無し fact3: もしそのぽちょぽやLv.44が痛いとしたらそのぽちょぽやLv.44は寛大過ぎる fact4: すべてのモンスターは立ち向かえる fact5: 仮にそのぽちょぽやLv.44が探し易いとすれば混入し易い fact6: そのぽちょぽやLv.44は探し易い fact7: そのぽちょぽやLv.44が混入し易いとしたらこのぽにぽにゅLv.58は痛い fact8: このぽにぽにゅLv.58は混入し易い
fact5 & fact6 -> int1: そのぽちょぽやLv.44は混入し易い; int1 & fact7 -> hypothesis;
fact5 & fact6 -> int1: {B}{a}; int1 & fact7 -> hypothesis;
あのみわみなLv.57は探し易い
fact9 -> int2: このぽにぽにゅLv.58は立ち向かえる;
$facts$ = fact1: 仮に「そのぽちょぽやLv.44は痛くないけどそれは固い」ということは成り立たないとすればあのみわみなLv.57は痛くない fact2: そのぽちょぽやLv.44が愚かしいならそれは限り無し fact3: もしそのぽちょぽやLv.44が痛いとしたらそのぽちょぽやLv.44は寛大過ぎる fact4: すべてのモンスターは立ち向かえる fact5: 仮にそのぽちょぽやLv.44が探し易いとすれば混入し易い fact6: そのぽちょぽやLv.44は探し易い fact7: そのぽちょぽやLv.44が混入し易いとしたらこのぽにぽにゅLv.58は痛い fact8: このぽにぽにゅLv.58は混入し易い ; $hypothesis$ = このぽにぽにゅLv.58は痛いということはない ; $proof$ = 
fact5 & fact6 -> int1: そのぽちょぽやLv.44は混入し易い; int1 & fact7 -> hypothesis; __DISPROVED__
fact5 & fact6 -> int1: {B}{a}; int1 & fact7 -> hypothesis; __DISPROVED__