このまねまえLv.51は湿気易くない
fact1: 小難しくてかつ許し難いということはないモンスターはない fact2: このまねまえLv.51が小難しいならば湿気易い fact3: もし「あのまいまちょLv.62は許し難い」ということは成り立つとするとこのまねまえLv.51は小難しい fact4: あのまいまちょLv.62はいとおしい fact5: あのまいまちょLv.62は許し難くていとおしい
fact5 -> int1: あのまいまちょLv.62は許し難い; int1 & fact3 -> int2: このまねまえLv.51は小難しい; int2 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
このまねまえLv.51は湿気易くない
fact6 -> int3: 「そのぷにゅぷにゃLv.80は小難しいがしかしそれは許し難くない」ということは成り立たない;
$facts$ = fact1: 小難しくてかつ許し難いということはないモンスターはない fact2: このまねまえLv.51が小難しいならば湿気易い fact3: もし「あのまいまちょLv.62は許し難い」ということは成り立つとするとこのまねまえLv.51は小難しい fact4: あのまいまちょLv.62はいとおしい fact5: あのまいまちょLv.62は許し難くていとおしい ; $hypothesis$ = このまねまえLv.51は湿気易くない ; $proof$ = 
fact5 -> int1: あのまいまちょLv.62は許し難い; int1 & fact3 -> int2: このまねまえLv.51は小難しい; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__