このもいもちゅLv.72は痛々しい
fact1: このまえまにLv.62は持ち難くて息苦しい fact2: もし仮にこのまえまにLv.62がルポしないならばこのもいもちゅLv.72は持ち難いけれどそれは息苦しくない fact3: 喋り難いモンスターはルポするということはない一方で餓鬼っぽい fact4: そのまにゃまにゃLv.31は持ち難い fact5: 仮に「このまえまにLv.62は持ち難い」ということは事実だとすればそのまにゃまにゃLv.31はルポする fact6: 息苦しいモンスターは持ち難い fact7: あるモンスターは持ち難いけれど息苦しくないとすると痛々しいということはない fact8: 仮にそのまにゃまにゃLv.31がルポすればこのもいもちゅLv.72は痛々しい
fact1 -> int1: このまえまにLv.62は持ち難い; int1 & fact5 -> int2: そのまにゃまにゃLv.31はルポする; int2 & fact8 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact8 -> hypothesis;
そのみよみわLv.48は持ち難い
fact9 -> int3: 仮にそのみよみわLv.48が息苦しいならそのみよみわLv.48は持ち難い;
$facts$ = fact1: このまえまにLv.62は持ち難くて息苦しい fact2: もし仮にこのまえまにLv.62がルポしないならばこのもいもちゅLv.72は持ち難いけれどそれは息苦しくない fact3: 喋り難いモンスターはルポするということはない一方で餓鬼っぽい fact4: そのまにゃまにゃLv.31は持ち難い fact5: 仮に「このまえまにLv.62は持ち難い」ということは事実だとすればそのまにゃまにゃLv.31はルポする fact6: 息苦しいモンスターは持ち難い fact7: あるモンスターは持ち難いけれど息苦しくないとすると痛々しいということはない fact8: 仮にそのまにゃまにゃLv.31がルポすればこのもいもちゅLv.72は痛々しい ; $hypothesis$ = このもいもちゅLv.72は痛々しい ; $proof$ = 
fact1 -> int1: このまえまにLv.62は持ち難い; int1 & fact5 -> int2: そのまにゃまにゃLv.31はルポする; int2 & fact8 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact8 -> hypothesis; __PROVED__