あのぴにょぴくLv.30は長々しい
fact1: そのぷやぷねLv.17が気高くてかつじんじんするならあのぴにょぴくLv.30は長々しかない fact2: そのぷやぷねLv.17はじんじんする fact3: 「なにがしかのモンスターは知りゃする」ということは成り立つとすると長々しい fact4: 気高くないモンスターはじんじんするし知りゃする fact5: あのぴにゃぴにLv.22は知りゃする fact6: もし仮にあのぴにゃぴにLv.22が知りゃすればそのぷやぷねLv.17は気高い
fact6 & fact5 -> int1: そのぷやぷねLv.17は気高い; int1 & fact2 -> int2: そのぷやぷねLv.17は気高いしじんじんする; int2 & fact1 -> hypothesis;
fact6 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis;
あのぴにゃぴにLv.22はじんじんする
fact7 -> int3: もしあのぴにゃぴにLv.22が気高くないとしたらあのぴにゃぴにLv.22はじんじんするしそれは知りゃする;
$facts$ = fact1: そのぷやぷねLv.17が気高くてかつじんじんするならあのぴにょぴくLv.30は長々しかない fact2: そのぷやぷねLv.17はじんじんする fact3: 「なにがしかのモンスターは知りゃする」ということは成り立つとすると長々しい fact4: 気高くないモンスターはじんじんするし知りゃする fact5: あのぴにゃぴにLv.22は知りゃする fact6: もし仮にあのぴにゃぴにLv.22が知りゃすればそのぷやぷねLv.17は気高い ; $hypothesis$ = あのぴにょぴくLv.30は長々しい ; $proof$ = 
fact6 & fact5 -> int1: そのぷやぷねLv.17は気高い; int1 & fact2 -> int2: そのぷやぷねLv.17は気高いしじんじんする; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact5 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis; __DISPROVED__