そのぽやぽやLv.87は間違え易い
fact1: そのぽやぽやLv.87は眩しい fact2: 「そのぽやぽやLv.87は経る」ということは正しい fact3: 何らかのモンスターが深まらないなら悔しいし眩しいということはない fact4: もし仮にそのぽやぽやLv.87が経るし更に眩しいとすればそのぽやぽやLv.87は間違え易いということはない fact5: もし仮にそのぽやぽやLv.87が経ないならばそのぷよぷにゅLv.19はむくつけし
fact2 & fact1 -> int1: そのぽやぽやLv.87は経るしかつそれは眩しい; int1 & fact4 -> hypothesis;
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
そのぽやぽやLv.87は間違え易い
fact6 -> int2: 「もし仮にこのみなみやLv.12が深まらないとすればこのみなみやLv.12は悔しいけど眩しくない」ということは本当である;
$facts$ = fact1: そのぽやぽやLv.87は眩しい fact2: 「そのぽやぽやLv.87は経る」ということは正しい fact3: 何らかのモンスターが深まらないなら悔しいし眩しいということはない fact4: もし仮にそのぽやぽやLv.87が経るし更に眩しいとすればそのぽやぽやLv.87は間違え易いということはない fact5: もし仮にそのぽやぽやLv.87が経ないならばそのぷよぷにゅLv.19はむくつけし ; $hypothesis$ = そのぽやぽやLv.87は間違え易い ; $proof$ = 
fact2 & fact1 -> int1: そのぽやぽやLv.87は経るしかつそれは眩しい; int1 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis; __DISPROVED__