「そのみなみにゃLv.88は開き易くてそれに情けない」ということは間違いだ
fact1: そのぷゆぷねLv.80は開き易い fact2: そのみなみにゃLv.88は情けない fact3: そのみなみにゃLv.88は開き易くて極まり悪い
fact3 -> int1: そのみなみにゃLv.88は開き易い; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: そのぷゆぷねLv.80は開き易い fact2: そのみなみにゃLv.88は情けない fact3: そのみなみにゃLv.88は開き易くて極まり悪い ; $hypothesis$ = 「そのみなみにゃLv.88は開き易くてそれに情けない」ということは間違いだ ; $proof$ = 
fact3 -> int1: そのみなみにゃLv.88は開き易い; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__