このぽちゃぽちゃLv.66は口汚くない
fact1: 仮に「何らかのモンスターは堪え難いかあるいは選任しないかまたは両方である」ということは嘘だとしたら齎し易くない fact2: 仮にこのぽちゃぽちゃLv.66がむくつけしししかもそれが齎し易いならばこのもいもちゅLv.18は口汚くない fact3: あのもくもくLv.92は齎し易くておまけにそれはカミングアウトする fact4: このもいもちゅLv.18は齎し易い fact5: このもいもちゅLv.18はむくつけししかつそれは齎し易い fact6: もし仮にこのもいもちゅLv.18がむくつけししおまけに堪え難いとするとこのぽちゃぽちゃLv.66は口汚くない fact7: このもいもちゅLv.18は事らしい fact8: 「このもいもちゅLv.18は堪え難い」ということは本当である
fact5 -> int1: このもいもちゅLv.18はむくつけし; int1 & fact8 -> int2: このもいもちゅLv.18はむくつけしし更に堪え難い; int2 & fact6 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact8 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis;
「このぽちゃぽちゃLv.66は口汚い」ということは成り立つ
fact9 -> int3: 「このもいもちゅLv.18は堪え難いか選任するということはない」ということは正しくないとすれば「このもいもちゅLv.18は齎し易くない」ということは成り立つ;
$facts$ = fact1: 仮に「何らかのモンスターは堪え難いかあるいは選任しないかまたは両方である」ということは嘘だとしたら齎し易くない fact2: 仮にこのぽちゃぽちゃLv.66がむくつけしししかもそれが齎し易いならばこのもいもちゅLv.18は口汚くない fact3: あのもくもくLv.92は齎し易くておまけにそれはカミングアウトする fact4: このもいもちゅLv.18は齎し易い fact5: このもいもちゅLv.18はむくつけししかつそれは齎し易い fact6: もし仮にこのもいもちゅLv.18がむくつけししおまけに堪え難いとするとこのぽちゃぽちゃLv.66は口汚くない fact7: このもいもちゅLv.18は事らしい fact8: 「このもいもちゅLv.18は堪え難い」ということは本当である ; $hypothesis$ = このぽちゃぽちゃLv.66は口汚くない ; $proof$ = 
fact5 -> int1: このもいもちゅLv.18はむくつけし; int1 & fact8 -> int2: このもいもちゅLv.18はむくつけしし更に堪え難い; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact8 -> int2: ({A}{a} & {C}{a}); int2 & fact6 -> hypothesis; __PROVED__