そのみにゃみちゃLv.18は歌舞伎っぽいし答え難い
fact1: そのみにゃみちゃLv.18は歌舞伎っぽいしかつ食べ易い fact2: そのみにゃみちゃLv.18は答え難い fact3: 全てのモンスターは成功し易くない fact4: そのぴわぴにゃLv.86は答え難い fact5: もしなんらかのモンスターは成功し易くないなら稼ぎ出すし溶く
fact1 -> int1: そのみにゃみちゃLv.18は歌舞伎っぽい; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
「そのみにゃみちゃLv.18は歌舞伎っぽくて答え難い」ということは偽である
fact6 -> int2: もしこのみにょみねLv.1は成功し易くないならばそれは稼ぎ出すしかつ溶く; fact7 -> int3: このみにょみねLv.1は成功し易くない; int2 & int3 -> int4: このみにょみねLv.1は稼ぎ出すし加えて溶く; int4 -> int5: あらゆるモンスターは稼ぎ出すし溶く; int5 -> int6: そのまちゃまなLv.14は稼ぎ出すしおまけに溶く; int6 -> int7: そのまちゃまなLv.14は溶く; int7 -> int8: 何らかのモンスターは溶く;
$facts$ = fact1: そのみにゃみちゃLv.18は歌舞伎っぽいしかつ食べ易い fact2: そのみにゃみちゃLv.18は答え難い fact3: 全てのモンスターは成功し易くない fact4: そのぴわぴにゃLv.86は答え難い fact5: もしなんらかのモンスターは成功し易くないなら稼ぎ出すし溶く ; $hypothesis$ = そのみにゃみちゃLv.18は歌舞伎っぽいし答え難い ; $proof$ = 
fact1 -> int1: そのみにゃみちゃLv.18は歌舞伎っぽい; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__