「「このぴえぴにゃLv.19は支障無いか蒸し暑いかあるいは両方である」ということは成り立たない」ということは成り立つ
fact1: このぴえぴにゃLv.19は蒸し暑いし所狭し fact2: もしあるモンスターは息苦しくないなら「所狭ししおまけにそれは支障無い」ということは成り立つということはない
fact1 -> int1: このぴえぴにゃLv.19は蒸し暑い; int1 -> hypothesis;
fact1 -> int1: {A}{a}; int1 -> hypothesis;
「「このぴえぴにゃLv.19は支障無いか蒸し暑いかあるいは両方である」ということは成り立たない」ということは成り立つ
fact3 -> int2: 仮にこのぽにぽゆLv.88は息苦しくないなら「それが所狭ししその上支障無い」ということは成り立たない;
$facts$ = fact1: このぴえぴにゃLv.19は蒸し暑いし所狭し fact2: もしあるモンスターは息苦しくないなら「所狭ししおまけにそれは支障無い」ということは成り立つということはない ; $hypothesis$ = 「「このぴえぴにゃLv.19は支障無いか蒸し暑いかあるいは両方である」ということは成り立たない」ということは成り立つ ; $proof$ = 
fact1 -> int1: このぴえぴにゃLv.19は蒸し暑い; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 -> hypothesis; __DISPROVED__