あの産水は症例報告書だし更に実現し得る
fact1: もし仮に「あの産水は症例報告書でないが聞き取り難い」ということは誤っているとしたらその共通善思想は症例報告書でない fact2: 何かはか弱くないなら「「症例報告書であるし実現し得る」ということは成り立つ」ということは成り立つということはない fact3: 「使用し難くないし分化誘導でない」物はある fact4: もしもその共通善思想が聞き取り難いならあの産水は実現し得る fact5: もしとあるものは頭位でないとしたら症例報告書だしリネン類である fact6: あの産水は聞き取り難い fact7: もし仮に「あの産水は症例報告書でない」ということは真実であるとするとリネン類だしさらに別嬪さんだ fact8: もしも「その対価関係は頭位でないが別嬪さんだ」ということは間違っているとすればあの産水は頭位でない fact9: もし仮に何らかの物がか弱いなら前払いする fact10: もし「その対価関係は頭位でないけれどリネン類だ」ということは成り立たないならばあの産水は頭位でない fact11: その対価関係は症例報告書である fact12: あの産水は前払いする fact13: その対価関係は前払いする fact14: 仮にあの挙動はベースドラムであるということはないとしたら「聞き取り難くないかもしくは頭位でないか両方ともである」ということは偽だ fact15: その共通善思想はか弱くてまた前払いする fact16: 仮に「あの挙動は聞き取り難くないかもしくはそれは頭位だということはないかまたはどちらもだ」ということは間違っているとすればその対価関係は聞き取り難いということはない fact17: 「その対価関係は頭位でないけど別嬪さんだ」ということは誤りだ fact18: その共通善思想は別嬪さんでない fact19: もしもあの挙動は別嬪さんであるとしたらベースドラムでない fact20: 仮に「なにがしかのものが前払いするしその上それはか弱い」ということは成り立たないとするとそれはか弱くない fact21: 「その共通善思想は聞き取り難くない」ということは本当であるならば「あの産水は前払いするしそれにそれはか弱い」ということは間違っている fact22: もし仮に何かは前払いするとすればそれは聞き取り難い fact23: その対価関係は実現し得る fact24: その対価関係は全一冊でない
fact15 -> int1: その共通善思想は前払いする; fact22 -> int2: もしその共通善思想が前払いするならそれは聞き取り難い; int1 & int2 -> int3: その共通善思想は聞き取り難い; int3 & fact4 -> int4: あの産水は実現し得る; fact5 -> int5: もし仮にあの産水は頭位でないとしたらそれは症例報告書であるしリネン類だ; fact8 & fact17 -> int6: あの産水は頭位だということはない; int5 & int6 -> int7: あの産水は症例報告書であるしリネン類だ; int7 -> int8: あの産水は症例報告書だ; int4 & int8 -> hypothesis;
「あの産水は症例報告書で実現し得る」ということは誤りである
fact30 -> int9: もし「あの産水はか弱くない」ということは事実であるとしたら「症例報告書だしまたそれは実現し得る」ということは誤りである; fact26 -> int10: 「「あの産水は前払いするしそれはか弱い」ということは事実と異なるということはない」ということは成り立つということはないとすると「それはか弱くない」ということは正しい;
$facts$ = fact1: もし仮に「あの産水は症例報告書でないが聞き取り難い」ということは誤っているとしたらその共通善思想は症例報告書でない fact2: 何かはか弱くないなら「「症例報告書であるし実現し得る」ということは成り立つ」ということは成り立つということはない fact3: 「使用し難くないし分化誘導でない」物はある fact4: もしもその共通善思想が聞き取り難いならあの産水は実現し得る fact5: もしとあるものは頭位でないとしたら症例報告書だしリネン類である fact6: あの産水は聞き取り難い fact7: もし仮に「あの産水は症例報告書でない」ということは真実であるとするとリネン類だしさらに別嬪さんだ fact8: もしも「その対価関係は頭位でないが別嬪さんだ」ということは間違っているとすればあの産水は頭位でない fact9: もし仮に何らかの物がか弱いなら前払いする fact10: もし「その対価関係は頭位でないけれどリネン類だ」ということは成り立たないならばあの産水は頭位でない fact11: その対価関係は症例報告書である fact12: あの産水は前払いする fact13: その対価関係は前払いする fact14: 仮にあの挙動はベースドラムであるということはないとしたら「聞き取り難くないかもしくは頭位でないか両方ともである」ということは偽だ fact15: その共通善思想はか弱くてまた前払いする fact16: 仮に「あの挙動は聞き取り難くないかもしくはそれは頭位だということはないかまたはどちらもだ」ということは間違っているとすればその対価関係は聞き取り難いということはない fact17: 「その対価関係は頭位でないけど別嬪さんだ」ということは誤りだ fact18: その共通善思想は別嬪さんでない fact19: もしもあの挙動は別嬪さんであるとしたらベースドラムでない fact20: 仮に「なにがしかのものが前払いするしその上それはか弱い」ということは成り立たないとするとそれはか弱くない fact21: 「その共通善思想は聞き取り難くない」ということは本当であるならば「あの産水は前払いするしそれにそれはか弱い」ということは間違っている fact22: もし仮に何かは前払いするとすればそれは聞き取り難い fact23: その対価関係は実現し得る fact24: その対価関係は全一冊でない ; $hypothesis$ = あの産水は症例報告書だし更に実現し得る ; $proof$ = 
fact15 -> int1: その共通善思想は前払いする; fact22 -> int2: もしその共通善思想が前払いするならそれは聞き取り難い; int1 & int2 -> int3: その共通善思想は聞き取り難い; int3 & fact4 -> int4: あの産水は実現し得る; fact5 -> int5: もし仮にあの産水は頭位でないとしたらそれは症例報告書であるしリネン類だ; fact8 & fact17 -> int6: あの産水は頭位だということはない; int5 & int6 -> int7: あの産水は症例報告書であるしリネン類だ; int7 -> int8: あの産水は症例報告書だ; int4 & int8 -> hypothesis; __PROVED__
事実1: もし仮に「あの産水は症例報告書でないが聞き取り難い」ということは誤っているとしたらその共通善思想は症例報告書でない
事実2: 何かはか弱くないなら「「症例報告書であるし実現し得る」ということは成り立つ」ということは成り立つということはない
事実3: 「使用し難くないし分化誘導でない」物はある
事実4: もしもその共通善思想が聞き取り難いならあの産水は実現し得る
事実5: もしとあるものは頭位でないとしたら症例報告書だしリネン類である
事実6: あの産水は聞き取り難い
事実7: もし仮に「あの産水は症例報告書でない」ということは真実であるとするとリネン類だしさらに別嬪さんだ
事実8: もしも「その対価関係は頭位でないが別嬪さんだ」ということは間違っているとすればあの産水は頭位でない
事実9: もし仮に何らかの物がか弱いなら前払いする
事実10: もし「その対価関係は頭位でないけれどリネン類だ」ということは成り立たないならばあの産水は頭位でない
事実11: その対価関係は症例報告書である
事実12: あの産水は前払いする
事実13: その対価関係は前払いする
事実14: 仮にあの挙動はベースドラムであるということはないとしたら「聞き取り難くないかもしくは頭位でないか両方ともである」ということは偽だ
事実15: その共通善思想はか弱くてまた前払いする
事実16: 仮に「あの挙動は聞き取り難くないかもしくはそれは頭位だということはないかまたはどちらもだ」ということは間違っているとすればその対価関係は聞き取り難いということはない
事実17: 「その対価関係は頭位でないけど別嬪さんだ」ということは誤りだ
事実18: その共通善思想は別嬪さんでない
事実19: もしもあの挙動は別嬪さんであるとしたらベースドラムでない
事実20: 仮に「なにがしかのものが前払いするしその上それはか弱い」ということは成り立たないとするとそれはか弱くない
事実21: 「その共通善思想は聞き取り難くない」ということは本当であるならば「あの産水は前払いするしそれにそれはか弱い」ということは間違っている
事実22: もし仮に何かは前払いするとすればそれは聞き取り難い
事実23: その対価関係は実現し得る
事実24: その対価関係は全一冊でない

仮説: あの産水は症例報告書だし更に実現し得る
1. 事実15から、推論1: "その共通善思想は前払いする"が導かれる
2. 事実22から、推論2: "もしその共通善思想が前払いするならそれは聞き取り難い"が導かれる
3. 推論1と推論2から、推論3: "その共通善思想は聞き取り難い"が導かれる
4. 推論3と事実4から、推論4: "あの産水は実現し得る"が導かれる
5. 事実5から、推論5: "もし仮にあの産水は頭位でないとしたらそれは症例報告書であるしリネン類だ"が導かれる
6. 事実8と事実17から、推論6: "あの産水は頭位だということはない"が導かれる
7. 推論5と推論6から、推論7: "あの産水は症例報告書であるしリネン類だ"が導かれる
8. 推論7から、推論8: "あの産水は症例報告書だ"が導かれる
9. 推論4と推論8から、仮説が導かれる

よって、仮説が証明されました。