「このぽにょぽにょLv.93はしおらしいということはない」ということは成り立つ
fact1: このぽにょぽにょLv.93は免れ難い fact2: 仮にこのぽにょぽにょLv.93が免れ難いとすればしおらしい
fact1 -> int1: このぽにょぽにょLv.93は免れ難い; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このぽにょぽにょLv.93は免れ難い fact2: 仮にこのぽにょぽにょLv.93が免れ難いとすればしおらしい ; $hypothesis$ = 「このぽにょぽにょLv.93はしおらしいということはない」ということは成り立つ ; $proof$ = 
fact1 -> int1: このぽにょぽにょLv.93は免れ難い; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__