あのぴよぴよLv.11は汚らわしくない
fact1: すべてのモンスターは不足し易い fact2: 全てのモンスターは汚らわしい fact3: 仮に「何らかのモンスターは寒しけどそれは得難くない」ということは間違っているなら「寒しない」ということは正しい
fact2 -> int1: 全てのモンスターは汚らわしい; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのぴよぴよLv.11は汚らわしくない
fact4 -> int2: もし「あのぴよぴよLv.11は寒しがしかし得難いということはない」ということは成り立たないとしたらそれは寒しない;
$facts$ = fact1: すべてのモンスターは不足し易い fact2: 全てのモンスターは汚らわしい fact3: 仮に「何らかのモンスターは寒しけどそれは得難くない」ということは間違っているなら「寒しない」ということは正しい ; $hypothesis$ = あのぴよぴよLv.11は汚らわしくない ; $proof$ = 
fact2 -> int1: 全てのモンスターは汚らわしい; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__