あのぽにぽにゅLv.58は防げない
fact1: もしもこのみにゃみよLv.6は実践出来るとすると「そのみちゃみいLv.58は胡椒する」ということは本当だ fact2: もし仮にそのみちゃみいLv.58が胡椒するならこのみにゃみよLv.6は実践出来る fact3: そのみちゃみいLv.58が実践出来るならこのみにゃみよLv.6は胡椒する fact4: このぷちょぷちゅLv.82は防げる fact5: このみにゃみよLv.6は防げる fact6: もしこのみにゃみよLv.6は胡椒すれば「あのぽにぽにゅLv.58は防げる」ということは成り立つ fact7: そのみちゃみいLv.58は実践出来る
fact3 & fact7 -> int1: このみにゃみよLv.6は胡椒する; int1 & fact6 -> hypothesis;
fact3 & fact7 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
$facts$ = fact1: もしもこのみにゃみよLv.6は実践出来るとすると「そのみちゃみいLv.58は胡椒する」ということは本当だ fact2: もし仮にそのみちゃみいLv.58が胡椒するならこのみにゃみよLv.6は実践出来る fact3: そのみちゃみいLv.58が実践出来るならこのみにゃみよLv.6は胡椒する fact4: このぷちょぷちゅLv.82は防げる fact5: このみにゃみよLv.6は防げる fact6: もしこのみにゃみよLv.6は胡椒すれば「あのぽにぽにゅLv.58は防げる」ということは成り立つ fact7: そのみちゃみいLv.58は実践出来る ; $hypothesis$ = あのぽにぽにゅLv.58は防げない ; $proof$ = 
fact3 & fact7 -> int1: このみにゃみよLv.6は胡椒する; int1 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact7 -> int1: {B}{b}; int1 & fact6 -> hypothesis; __DISPROVED__