「このぽちゅぽえLv.53は男っぽい」ということは成り立つ
fact1: 軟らかくないモンスターは男っぽくてそれに貫徹する fact2: 白くないモンスターは軟らかくない fact3: 全てのモンスターは男っぽいということはない
fact3 -> int1: 全てのモンスターは男っぽいということはない; int1 -> hypothesis;
fact3 -> int1: (x): ¬{A}x; int1 -> hypothesis;
「このぽちゅぽえLv.53は男っぽい」ということは成り立つ
fact4 -> int2: このぽちゅぽえLv.53が軟らかいということはないならば男っぽくて加えて貫徹する; fact5 -> int3: もし仮にこのぽちゅぽえLv.53が白くないならこのぽちゅぽえLv.53は軟らかくない;
$facts$ = fact1: 軟らかくないモンスターは男っぽくてそれに貫徹する fact2: 白くないモンスターは軟らかくない fact3: 全てのモンスターは男っぽいということはない ; $hypothesis$ = 「このぽちゅぽえLv.53は男っぽい」ということは成り立つ ; $proof$ = 
fact3 -> int1: 全てのモンスターは男っぽいということはない; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): ¬{A}x; int1 -> hypothesis; __DISPROVED__