あのまいまにゃLv.52はネイティブらしくない
fact1: ネイティブらしいモンスターはせこい fact2: もしもあのまいまにゃLv.52が沸き返ればあのまいまにゃLv.52はネイティブらしい fact3: あのまいまにゃLv.52は惨たらしいし加えて沸き返る fact4: もしあるモンスターは細かくないとすれば「それは惨たらしくなくておまけにそれは沸き返らない」ということは成り立たない
fact3 -> int1: あのまいまにゃLv.52は沸き返る; int1 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
あのまいまにゃLv.52はネイティブらしくない
fact5 -> int2: もしもあのまいまにゃLv.52は細かくないならば「あのまいまにゃLv.52は惨たらしくないし沸き返るということはない」ということは成り立たない;
$facts$ = fact1: ネイティブらしいモンスターはせこい fact2: もしもあのまいまにゃLv.52が沸き返ればあのまいまにゃLv.52はネイティブらしい fact3: あのまいまにゃLv.52は惨たらしいし加えて沸き返る fact4: もしあるモンスターは細かくないとすれば「それは惨たらしくなくておまけにそれは沸き返らない」ということは成り立たない ; $hypothesis$ = あのまいまにゃLv.52はネイティブらしくない ; $proof$ = 
fact3 -> int1: あのまいまにゃLv.52は沸き返る; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __DISPROVED__