この救急患者は言い合えないけどしても良い
fact1: この救急患者は期待しないけどＵＳＢ接続する fact2: この救急患者はＵＳＢ接続する fact3: 仮にとあるものが御返り為さるしそれがホルモン治療だとしたら積めない fact4: この救急患者はしても良い fact5: あの橋板は空しい fact6: もしもその豊乳は粒胡椒であるということはないならば上り易い fact7: もしもあの橋板がホルモン治療だとするとこの救急患者は込み入る fact8: この救急患者は積めるしまたそれはＵＳＢ接続する fact9: その橋板は空しいとすれば「ホルモン治療である」ということは本当だ fact10: この救急患者は振り掛ける fact11: 何かは込み入るとしたら御返り為さる fact12: この救急患者は圧縮する fact13: 仮に「その豊乳はＵＳＢ接続しないし積めない」ということは間違っているとすれば「この威勢は御返り為さる」ということは成り立つ fact14: もし仮にこの橋板は空しかないならば「この救急患者は言い合えない一方でしても良い」ということは成り立たない fact15: もしその豊乳は上り易いなら「それはＵＳＢ接続しないししかも積めない」ということは正しいということはない fact16: あの別個独立はしても良くないがしかしそれは押さう fact17: ホルモン治療はＵＳＢ接続する fact18: もしなんらかのものは御返り為さるし積めるとしたら言い合えない
fact9 & fact5 -> int1: あの橋板はホルモン治療だ; int1 & fact7 -> int2: この救急患者は込み入る; fact11 -> int3: もしこの救急患者が込み入るとしたら御返り為さる; int2 & int3 -> int4: この救急患者は御返り為さる; fact8 -> int5: この救急患者は積める; int4 & int5 -> int6: この救急患者は御返り為さるしおまけに積める; fact18 -> int7: もし仮にこの救急患者は御返り為さるし積めるとしたらそれは言い合えない; int6 & int7 -> int8: この救急患者は言い合えるということはない; int8 & fact4 -> hypothesis;
「この救急患者は言い合えるということはないけれどしても良い」ということは偽である
$facts$ = fact1: この救急患者は期待しないけどＵＳＢ接続する fact2: この救急患者はＵＳＢ接続する fact3: 仮にとあるものが御返り為さるしそれがホルモン治療だとしたら積めない fact4: この救急患者はしても良い fact5: あの橋板は空しい fact6: もしもその豊乳は粒胡椒であるということはないならば上り易い fact7: もしもあの橋板がホルモン治療だとするとこの救急患者は込み入る fact8: この救急患者は積めるしまたそれはＵＳＢ接続する fact9: その橋板は空しいとすれば「ホルモン治療である」ということは本当だ fact10: この救急患者は振り掛ける fact11: 何かは込み入るとしたら御返り為さる fact12: この救急患者は圧縮する fact13: 仮に「その豊乳はＵＳＢ接続しないし積めない」ということは間違っているとすれば「この威勢は御返り為さる」ということは成り立つ fact14: もし仮にこの橋板は空しかないならば「この救急患者は言い合えない一方でしても良い」ということは成り立たない fact15: もしその豊乳は上り易いなら「それはＵＳＢ接続しないししかも積めない」ということは正しいということはない fact16: あの別個独立はしても良くないがしかしそれは押さう fact17: ホルモン治療はＵＳＢ接続する fact18: もしなんらかのものは御返り為さるし積めるとしたら言い合えない ; $hypothesis$ = この救急患者は言い合えないけどしても良い ; $proof$ = 
fact9 & fact5 -> int1: あの橋板はホルモン治療だ; int1 & fact7 -> int2: この救急患者は込み入る; fact11 -> int3: もしこの救急患者が込み入るとしたら御返り為さる; int2 & int3 -> int4: この救急患者は御返り為さる; fact8 -> int5: この救急患者は積める; int4 & int5 -> int6: この救急患者は御返り為さるしおまけに積める; fact18 -> int7: もし仮にこの救急患者は御返り為さるし積めるとしたらそれは言い合えない; int6 & int7 -> int8: この救急患者は言い合えるということはない; int8 & fact4 -> hypothesis; __PROVED__
事実1: この救急患者は期待しないけどＵＳＢ接続する
事実2: この救急患者はＵＳＢ接続する
事実3: 仮にとあるものが御返り為さるしそれがホルモン治療だとしたら積めない
事実4: この救急患者はしても良い
事実5: あの橋板は空しい
事実6: もしもその豊乳は粒胡椒であるということはないならば上り易い
事実7: もしもあの橋板がホルモン治療だとするとこの救急患者は込み入る
事実8: この救急患者は積めるしまたそれはＵＳＢ接続する
事実9: その橋板は空しいとすれば「ホルモン治療である」ということは本当だ
事実10: この救急患者は振り掛ける
事実11: 何かは込み入るとしたら御返り為さる
事実12: この救急患者は圧縮する
事実13: 仮に「その豊乳はＵＳＢ接続しないし積めない」ということは間違っているとすれば「この威勢は御返り為さる」ということは成り立つ
事実14: もし仮にこの橋板は空しかないならば「この救急患者は言い合えない一方でしても良い」ということは成り立たない
事実15: もしその豊乳は上り易いなら「それはＵＳＢ接続しないししかも積めない」ということは正しいということはない
事実16: あの別個独立はしても良くないがしかしそれは押さう
事実17: ホルモン治療はＵＳＢ接続する
事実18: もしなんらかのものは御返り為さるし積めるとしたら言い合えない

仮説: この救急患者は言い合えないけどしても良い
1. 事実9と事実5から、推論1: "あの橋板はホルモン治療だ"が導かれる
2. 推論1と事実7から、推論2: "この救急患者は込み入る"が導かれる
3. 事実11から、推論3: "もしこの救急患者が込み入るとしたら御返り為さる"が導かれる
4. 推論2と推論3から、推論4: "この救急患者は御返り為さる"が導かれる
5. 事実8から、推論5: "この救急患者は積める"が導かれる
6. 推論4と推論5から、推論6: "この救急患者は御返り為さるしおまけに積める"が導かれる
7. 事実18から、推論7: "もし仮にこの救急患者は御返り為さるし積めるとしたらそれは言い合えない"が導かれる
8. 推論6と推論7から、推論8: "この救急患者は言い合えるということはない"が導かれる
9. 推論8と事実4から、仮説が導かれる

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