この声門開大筋はゴブレットである
fact1: もし「何らかの物は気高しということはない」ということは事実だとしたら「それは支援すらないしその上撫で消す」ということは成り立たない fact2: もし「「この成約預託金は生じ得ないしそれはドル箱でない」ということは間違いだ」ということは成り立つとしたらこの声門開大筋は抵抗性である fact3: 抵抗性はゴブレットである fact4: もし「あの乳腺手術は生じ得ない」ということは本当なら「この成約預託金は生じ得ないしそれはドル箱でない」ということは成り立たない fact5: 仮に「ある物は否定し難いかまたはそれは入り易いかまたは両方だ」ということは偽だとすればそれはドル箱でない fact6: もしもこの問題発見力が抵抗性でないとするとこの声門開大筋は撫で消す fact7: 「もし「この問題発見力は支援すらないけれど撫で消す」ということは正しいということはないとしたらこの声門開大筋はゴブレットでない」ということは成り立つ fact8: もしも「あの妊婦は入り易くない」ということは本当だとすればその執務は気高し fact9: その執務が気高ししそれが支援すとするとあの乳腺手術は生じ得ない fact10: この問題発見力は撫で消す fact11: もし仮にあの乳腺手術がドル箱でないとすればその執務が生じ得ないしさらにそれは抵抗性でない fact12: あの妊婦は入り易くないか気高しないか両方である fact13: もし仮にあの妊婦は気高しないならば「その執務は気高し」ということは事実だ fact14: もしこの問題発見力が撫で消すとすればその執務は支援す
fact14 & fact10 -> int1: その執務は支援す; fact8 & fact13 & fact12 -> int2: その執務は気高し; int1 & int2 -> int3: その執務は気高ししさらに支援す; int3 & fact9 -> int4: あの乳腺手術は生じ得ない; int4 & fact4 -> int5: 「この成約預託金は生じ得ないしさらにドル箱でない」ということは成り立たない; int5 & fact2 -> int6: 「この声門開大筋は抵抗性である」ということは確かである; fact3 -> int7: もしこの声門開大筋は抵抗性であるとしたら「それはゴブレットである」ということは本当である; int6 & int7 -> hypothesis;
「この声門開大筋はゴブレットでない」ということは正しい
fact16 -> int8: もしもこの問題発見力は気高しということはないとすれば「支援すらないしその上撫で消す」ということは成り立たない; fact15 -> int9: もし仮に「あの乳腺手術は否定し難いかもしくは入り易いかもしくはどちらもである」ということは成り立たないとするとそれはドル箱でない;
$facts$ = fact1: もし「何らかの物は気高しということはない」ということは事実だとしたら「それは支援すらないしその上撫で消す」ということは成り立たない fact2: もし「「この成約預託金は生じ得ないしそれはドル箱でない」ということは間違いだ」ということは成り立つとしたらこの声門開大筋は抵抗性である fact3: 抵抗性はゴブレットである fact4: もし「あの乳腺手術は生じ得ない」ということは本当なら「この成約預託金は生じ得ないしそれはドル箱でない」ということは成り立たない fact5: 仮に「ある物は否定し難いかまたはそれは入り易いかまたは両方だ」ということは偽だとすればそれはドル箱でない fact6: もしもこの問題発見力が抵抗性でないとするとこの声門開大筋は撫で消す fact7: 「もし「この問題発見力は支援すらないけれど撫で消す」ということは正しいということはないとしたらこの声門開大筋はゴブレットでない」ということは成り立つ fact8: もしも「あの妊婦は入り易くない」ということは本当だとすればその執務は気高し fact9: その執務が気高ししそれが支援すとするとあの乳腺手術は生じ得ない fact10: この問題発見力は撫で消す fact11: もし仮にあの乳腺手術がドル箱でないとすればその執務が生じ得ないしさらにそれは抵抗性でない fact12: あの妊婦は入り易くないか気高しないか両方である fact13: もし仮にあの妊婦は気高しないならば「その執務は気高し」ということは事実だ fact14: もしこの問題発見力が撫で消すとすればその執務は支援す ; $hypothesis$ = この声門開大筋はゴブレットである ; $proof$ = 
fact14 & fact10 -> int1: その執務は支援す; fact8 & fact13 & fact12 -> int2: その執務は気高し; int1 & int2 -> int3: その執務は気高ししさらに支援す; int3 & fact9 -> int4: あの乳腺手術は生じ得ない; int4 & fact4 -> int5: 「この成約預託金は生じ得ないしさらにドル箱でない」ということは成り立たない; int5 & fact2 -> int6: 「この声門開大筋は抵抗性である」ということは確かである; fact3 -> int7: もしこの声門開大筋は抵抗性であるとしたら「それはゴブレットである」ということは本当である; int6 & int7 -> hypothesis; __PROVED__
事実1: もし「何らかの物は気高しということはない」ということは事実だとしたら「それは支援すらないしその上撫で消す」ということは成り立たない
事実2: もし「「この成約預託金は生じ得ないしそれはドル箱でない」ということは間違いだ」ということは成り立つとしたらこの声門開大筋は抵抗性である
事実3: 抵抗性はゴブレットである
事実4: もし「あの乳腺手術は生じ得ない」ということは本当なら「この成約預託金は生じ得ないしそれはドル箱でない」ということは成り立たない
事実5: 仮に「ある物は否定し難いかまたはそれは入り易いかまたは両方だ」ということは偽だとすればそれはドル箱でない
事実6: もしもこの問題発見力が抵抗性でないとするとこの声門開大筋は撫で消す
事実7: 「もし「この問題発見力は支援すらないけれど撫で消す」ということは正しいということはないとしたらこの声門開大筋はゴブレットでない」ということは成り立つ
事実8: もしも「あの妊婦は入り易くない」ということは本当だとすればその執務は気高し
事実9: その執務が気高ししそれが支援すとするとあの乳腺手術は生じ得ない
事実10: この問題発見力は撫で消す
事実11: もし仮にあの乳腺手術がドル箱でないとすればその執務が生じ得ないしさらにそれは抵抗性でない
事実12: あの妊婦は入り易くないか気高しないか両方である
事実13: もし仮にあの妊婦は気高しないならば「その執務は気高し」ということは事実だ
事実14: もしこの問題発見力が撫で消すとすればその執務は支援す

仮説: この声門開大筋はゴブレットである
1. 事実14と事実10から、推論1: "その執務は支援す"が導かれる
2. 事実8と事実13と事実12から、推論2: "その執務は気高し"が導かれる
3. 推論1と推論2から、推論3: "その執務は気高ししさらに支援す"が導かれる
4. 推論3と事実9から、推論4: "あの乳腺手術は生じ得ない"が導かれる
5. 推論4と事実4から、推論5: "「この成約預託金は生じ得ないしさらにドル箱でない」ということは成り立たない"が導かれる
6. 推論5と事実2から、推論6: "「この声門開大筋は抵抗性である」ということは確かである"が導かれる
7. 事実3から、推論7: "もしこの声門開大筋は抵抗性であるとしたら「それはゴブレットである」ということは本当である"が導かれる
8. 推論6と推論7から、仮説が導かれる

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