あのまにゅまのLv.80は打ち易い
fact1: 性分らしいモンスターは連想し易い fact2: もし仮に「あのまにゅまのLv.80は受け難い」ということは嘘でないならあのまにゅまのLv.80は連想し易い fact3: あのまにゅまのLv.80は受け難くて根深い fact4: あのぴにぴくLv.39は身軽いししかも根深い fact5: あのまにゅまのLv.80が連想し易いとしたらあのまにゅまのLv.80は打ち易い
fact3 -> int1: あのまにゅまのLv.80は受け難い; int1 & fact2 -> int2: あのまにゅまのLv.80は連想し易い; int2 & fact5 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
もしあのみくみえLv.71が性分らしいならばそれは連想し易い
fact6 -> hypothesis;
$facts$ = fact1: 性分らしいモンスターは連想し易い fact2: もし仮に「あのまにゅまのLv.80は受け難い」ということは嘘でないならあのまにゅまのLv.80は連想し易い fact3: あのまにゅまのLv.80は受け難くて根深い fact4: あのぴにぴくLv.39は身軽いししかも根深い fact5: あのまにゅまのLv.80が連想し易いとしたらあのまにゅまのLv.80は打ち易い ; $hypothesis$ = あのまにゅまのLv.80は打ち易い ; $proof$ = 
fact3 -> int1: あのまにゅまのLv.80は受け難い; int1 & fact2 -> int2: あのまにゅまのLv.80は連想し易い; int2 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __PROVED__