そのまのまちょLv.50は苦しない
fact1: 掃除し易いし更にくどくないモンスターは苦しない fact2: 古くないモンスターは掛け難いかもしくは進化し続けないかあるいは両方である fact3: もしそのまのまちょLv.50が掛け難いか進化し続けないとすればそのぽゆぽゆLv.65はくどくない fact4: くどくないモンスターは苦しし掃除し易い fact5: すべてのモンスターは苦し
fact5 -> int1: すべてのモンスターは苦し; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
そのぽゆぽゆLv.65は苦し
fact6 -> int2: もしも「そのぽゆぽゆLv.65はくどくない」ということは正しいならそのぽゆぽゆLv.65は苦ししそれは掃除し易い; fact8 -> int3: もし仮にそのまのまちょLv.50が古くないならそのまのまちょLv.50は掛け難いかもしくは進化し続けるということはないか両方だ;
$facts$ = fact1: 掃除し易いし更にくどくないモンスターは苦しない fact2: 古くないモンスターは掛け難いかもしくは進化し続けないかあるいは両方である fact3: もしそのまのまちょLv.50が掛け難いか進化し続けないとすればそのぽゆぽゆLv.65はくどくない fact4: くどくないモンスターは苦しし掃除し易い fact5: すべてのモンスターは苦し ; $hypothesis$ = そのまのまちょLv.50は苦しない ; $proof$ = 
fact5 -> int1: すべてのモンスターは苦し; int1 -> hypothesis; __DISPROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__