「「トレーニング後で罷り出ない」ということは確かでない」物はある
fact1: 「この自治医大は有り過ぎるしさらに滅失する」ということは事実と異なる fact2: この自治医大は経験知でないが扱い易い fact3: 仮にあるものがトレーニング後でないとすれば物凄まじいし更に罷り出る fact4: 「その別勘定が興行しないならばこの株式時価が言い訳はましくらないし様良しない」ということは成り立つ fact5: この事業等は有り過ぎる fact6: もし「下せる」物はあるなら「あの住生活は子供数でないかもしくはそれは興行する」ということは誤っている fact7: 仮にあるものは扱い易くないとすると「それは黒っぽくないが経験知である」ということは成り立たない fact8: もし仮に「あの住生活は子供数でないかもしくは興行するかまたは両方ともだ」ということは誤りであるとすればその別勘定は興行しない fact9: 野太くないものはある fact10: もしとあるものは物凄まじくないとすれば「トレーニング後でその上罷り出ない」ということは成り立たない fact11: もしこの事業等が物凄まじくて更に小狡いとするとこの自治医大は扱い易いということはない fact12: 「下せる」物はある fact13: 「この自治医大は有り過ぎないけど滅失する」ということは嘘である fact14: もし扱い易い物が小狡いとすると物凄まじいということはない fact15: もし「この自治医大は有り過ぎないけれど滅失する」ということは成り立つということはないとすればそれは小狡い
fact15 & fact13 -> int1: 「この自治医大は小狡い」ということは事実だ; fact2 -> int2: この自治医大は扱い易い; int1 & int2 -> int3: この自治医大は扱い易いし小狡い; fact14 -> int4: もし仮にこの自治医大は扱い易くてかつ小狡いとしたら物凄まじくない; int3 & int4 -> int5: この自治医大は物凄まじくない; fact10 -> int6: もしこの自治医大は物凄まじくないなら「それはトレーニング後だけれど罷り出ない」ということは誤っている; int5 & int6 -> int7: 「この自治医大はトレーニング後であるが罷り出ない」ということは間違いである; int7 -> hypothesis;
「この自治医大は黒っぽくないが経験知だ」ということは確かでない
fact16 -> int8: 仮にこの自治医大は扱い易くないならば「黒っぽくない一方で経験知だ」ということは成り立たない; fact17 -> int9: もし仮にこの事業等はトレーニング後でないとしたら物凄まじいしまた罷り出る; fact23 & fact22 -> int10: 「あの住生活は子供数でないかそれは興行するかもしくは両方ともである」ということは成り立たない; fact18 & int10 -> int11: その別勘定は興行しない; fact21 & int11 -> int12: 「この株式時価は言い訳がましいということはなくてそれに様良しということはない」ということは事実だ; int12 -> int13: なんらかの物は言い訳がましいということはなくてそれに様良しということはない;
$facts$ = fact1: 「この自治医大は有り過ぎるしさらに滅失する」ということは事実と異なる fact2: この自治医大は経験知でないが扱い易い fact3: 仮にあるものがトレーニング後でないとすれば物凄まじいし更に罷り出る fact4: 「その別勘定が興行しないならばこの株式時価が言い訳はましくらないし様良しない」ということは成り立つ fact5: この事業等は有り過ぎる fact6: もし「下せる」物はあるなら「あの住生活は子供数でないかもしくはそれは興行する」ということは誤っている fact7: 仮にあるものは扱い易くないとすると「それは黒っぽくないが経験知である」ということは成り立たない fact8: もし仮に「あの住生活は子供数でないかもしくは興行するかまたは両方ともだ」ということは誤りであるとすればその別勘定は興行しない fact9: 野太くないものはある fact10: もしとあるものは物凄まじくないとすれば「トレーニング後でその上罷り出ない」ということは成り立たない fact11: もしこの事業等が物凄まじくて更に小狡いとするとこの自治医大は扱い易いということはない fact12: 「下せる」物はある fact13: 「この自治医大は有り過ぎないけど滅失する」ということは嘘である fact14: もし扱い易い物が小狡いとすると物凄まじいということはない fact15: もし「この自治医大は有り過ぎないけれど滅失する」ということは成り立つということはないとすればそれは小狡い ; $hypothesis$ = 「「トレーニング後で罷り出ない」ということは確かでない」物はある ; $proof$ = 
fact15 & fact13 -> int1: 「この自治医大は小狡い」ということは事実だ; fact2 -> int2: この自治医大は扱い易い; int1 & int2 -> int3: この自治医大は扱い易いし小狡い; fact14 -> int4: もし仮にこの自治医大は扱い易くてかつ小狡いとしたら物凄まじくない; int3 & int4 -> int5: この自治医大は物凄まじくない; fact10 -> int6: もしこの自治医大は物凄まじくないなら「それはトレーニング後だけれど罷り出ない」ということは誤っている; int5 & int6 -> int7: 「この自治医大はトレーニング後であるが罷り出ない」ということは間違いである; int7 -> hypothesis; __PROVED__
事実1: 「この自治医大は有り過ぎるしさらに滅失する」ということは事実と異なる
事実2: この自治医大は経験知でないが扱い易い
事実3: 仮にあるものがトレーニング後でないとすれば物凄まじいし更に罷り出る
事実4: 「その別勘定が興行しないならばこの株式時価が言い訳はましくらないし様良しない」ということは成り立つ
事実5: この事業等は有り過ぎる
事実6: もし「下せる」物はあるなら「あの住生活は子供数でないかもしくはそれは興行する」ということは誤っている
事実7: 仮にあるものは扱い易くないとすると「それは黒っぽくないが経験知である」ということは成り立たない
事実8: もし仮に「あの住生活は子供数でないかもしくは興行するかまたは両方ともだ」ということは誤りであるとすればその別勘定は興行しない
事実9: 野太くないものはある
事実10: もしとあるものは物凄まじくないとすれば「トレーニング後でその上罷り出ない」ということは成り立たない
事実11: もしこの事業等が物凄まじくて更に小狡いとするとこの自治医大は扱い易いということはない
事実12: 「下せる」物はある
事実13: 「この自治医大は有り過ぎないけど滅失する」ということは嘘である
事実14: もし扱い易い物が小狡いとすると物凄まじいということはない
事実15: もし「この自治医大は有り過ぎないけれど滅失する」ということは成り立つということはないとすればそれは小狡い

仮説: 「「トレーニング後で罷り出ない」ということは確かでない」物はある
1. 事実15と事実13から、推論1: "「この自治医大は小狡い」ということは事実だ"が導かれる
2. 事実2から、推論2: "この自治医大は扱い易い"が導かれる
3. 推論1と推論2から、推論3: "この自治医大は扱い易いし小狡い"が導かれる
4. 事実14から、推論4: "もし仮にこの自治医大は扱い易くてかつ小狡いとしたら物凄まじくない"が導かれる
5. 推論3と推論4から、推論5: "この自治医大は物凄まじくない"が導かれる
6. 事実10から、推論6: "もしこの自治医大は物凄まじくないなら「それはトレーニング後だけれど罷り出ない」ということは誤っている"が導かれる
7. 推論5と推論6から、推論7: "「この自治医大はトレーニング後であるが罷り出ない」ということは間違いである"が導かれる
8. 推論7から、仮説が導かれる

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