この人的資源は両岸関係である
fact1: その持分プーリングは両岸関係だ fact2: あの手術侵襲は掴み易い fact3: もしもその筋腹が気持ち悪さであるとしたらあの手術侵襲は漢訳する fact4: もし「この人的資源は内出血である」ということは本当であるとするとその筋腹はメトロニダゾールである fact5: もし仮にこの人的資源はメトロニダゾールでないとすれば「両岸関係であるが漢訳しない」ということは成り立たない fact6: もしその筋腹が窄まるとすれば落涙する fact7: もし「扱き上げる」ものがあるとしたらその筋腹は握り易いということはない fact8: 「この人的資源は両岸関係であるがしかしそれは握り易いということはない」ということは誤りである fact9: 仮に「扱き上げる」物があるならその筋腹は内出血だけど握り易くない fact10: もしも「この人的資源は気持ち悪さである」ということは本当であるならばメトロニダゾールである fact11: その筋腹は握り易くない fact12: もしあの手術侵襲が漢訳するとしたらこの人的資源はメトロニダゾールだ fact13: もしもその筋腹は気持ち悪さでないなら「それは内出血であるしかつ握り易い」ということは間違っている fact14: 「その筋腹は内出血であるししかも握り易い」ということは本当であるということはない fact15: この人的資源は掬う fact16: その筋腹は気持ち悪さでないとしたら「内出血であるしそれに握り易いということはない」ということは成り立たない fact17: メトロニダゾールは両岸関係である fact18: 「「扱き上げる」ということは事実な」ものはある fact19: 内出血はある
void -> assump1: 以下のように仮定する。その筋腹は気持ち悪さでない; fact16 & assump1 -> int1: 「その筋腹は内出血だけれど握り易くない」ということは誤っている; fact9 & fact18 -> int2: その筋腹は内出血であるが握り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その筋腹は気持ち悪さである; int4 & fact3 -> int5: 「あの手術侵襲は漢訳する」ということは成り立つ; int5 & fact12 -> int6: 「この人的資源はメトロニダゾールだ」ということは事実だ; fact17 -> int7: もし仮にこの人的資源はメトロニダゾールであるとするとそれは両岸関係だ; int6 & int7 -> hypothesis;
$facts$ = fact1: その持分プーリングは両岸関係だ fact2: あの手術侵襲は掴み易い fact3: もしもその筋腹が気持ち悪さであるとしたらあの手術侵襲は漢訳する fact4: もし「この人的資源は内出血である」ということは本当であるとするとその筋腹はメトロニダゾールである fact5: もし仮にこの人的資源はメトロニダゾールでないとすれば「両岸関係であるが漢訳しない」ということは成り立たない fact6: もしその筋腹が窄まるとすれば落涙する fact7: もし「扱き上げる」ものがあるとしたらその筋腹は握り易いということはない fact8: 「この人的資源は両岸関係であるがしかしそれは握り易いということはない」ということは誤りである fact9: 仮に「扱き上げる」物があるならその筋腹は内出血だけど握り易くない fact10: もしも「この人的資源は気持ち悪さである」ということは本当であるならばメトロニダゾールである fact11: その筋腹は握り易くない fact12: もしあの手術侵襲が漢訳するとしたらこの人的資源はメトロニダゾールだ fact13: もしもその筋腹は気持ち悪さでないなら「それは内出血であるしかつ握り易い」ということは間違っている fact14: 「その筋腹は内出血であるししかも握り易い」ということは本当であるということはない fact15: この人的資源は掬う fact16: その筋腹は気持ち悪さでないとしたら「内出血であるしそれに握り易いということはない」ということは成り立たない fact17: メトロニダゾールは両岸関係である fact18: 「「扱き上げる」ということは事実な」ものはある fact19: 内出血はある ; $hypothesis$ = この人的資源は両岸関係である ; $proof$ = 
void -> assump1: 以下のように仮定する。その筋腹は気持ち悪さでない; fact16 & assump1 -> int1: 「その筋腹は内出血だけれど握り易くない」ということは誤っている; fact9 & fact18 -> int2: その筋腹は内出血であるが握り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その筋腹は気持ち悪さである; int4 & fact3 -> int5: 「あの手術侵襲は漢訳する」ということは成り立つ; int5 & fact12 -> int6: 「この人的資源はメトロニダゾールだ」ということは事実だ; fact17 -> int7: もし仮にこの人的資源はメトロニダゾールであるとするとそれは両岸関係だ; int6 & int7 -> hypothesis; __PROVED__
事実1: その持分プーリングは両岸関係だ
事実2: あの手術侵襲は掴み易い
事実3: もしもその筋腹が気持ち悪さであるとしたらあの手術侵襲は漢訳する
事実4: もし「この人的資源は内出血である」ということは本当であるとするとその筋腹はメトロニダゾールである
事実5: もし仮にこの人的資源はメトロニダゾールでないとすれば「両岸関係であるが漢訳しない」ということは成り立たない
事実6: もしその筋腹が窄まるとすれば落涙する
事実7: もし「扱き上げる」ものがあるとしたらその筋腹は握り易いということはない
事実8: 「この人的資源は両岸関係であるがしかしそれは握り易いということはない」ということは誤りである
事実9: 仮に「扱き上げる」物があるならその筋腹は内出血だけど握り易くない
事実10: もしも「この人的資源は気持ち悪さである」ということは本当であるならばメトロニダゾールである
事実11: その筋腹は握り易くない
事実12: もしあの手術侵襲が漢訳するとしたらこの人的資源はメトロニダゾールだ
事実13: もしもその筋腹は気持ち悪さでないなら「それは内出血であるしかつ握り易い」ということは間違っている
事実14: 「その筋腹は内出血であるししかも握り易い」ということは本当であるということはない
事実15: この人的資源は掬う
事実16: その筋腹は気持ち悪さでないとしたら「内出血であるしそれに握り易いということはない」ということは成り立たない
事実17: メトロニダゾールは両岸関係である
事実18: 「「扱き上げる」ということは事実な」ものはある
事実19: 内出血はある

仮説: この人的資源は両岸関係である
1. 仮定1: 以下のように仮定する。その筋腹は気持ち悪さでない
2. 事実16と仮定1から、推論1: "「その筋腹は内出血だけれど握り易くない」ということは誤っている"が導かれる
3. 事実9と事実18から、推論2: "その筋腹は内出血であるが握り易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その筋腹は気持ち悪さである"が導かれる
6. 推論4と事実3から、推論5: "「あの手術侵襲は漢訳する」ということは成り立つ"が導かれる
7. 推論5と事実12から、推論6: "「この人的資源はメトロニダゾールだ」ということは事実だ"が導かれる
8. 事実17から、推論7: "もし仮にこの人的資源はメトロニダゾールであるとするとそれは両岸関係だ"が導かれる
9. 推論6と推論7から、仮説が導かれる

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