この南東部が淡くないとしたらその縦画面は掴み易くてそれに第五位だ
fact1: その労働科学研究は度し難いかまたはマスターする fact2: そのコーディネートは上の空であるかあるいは厚過ぎる fact3: 仮にそのコーディネートが上の空ならば調べ易い fact4: もし仮にそのコーディネートがブラックバスでないならばこの南東部はブラックバスである fact5: もし仮にその社会教育施設は度し難くないなら「第五位であるということはないし調べ易くない」ということは間違いだ fact6: この南東部は第五位である fact7: そのコーディネートは狡賢い fact8: もしもこの南東部が第五位でないとすればその縦画面は淡いし上の空である fact9: もしもその労働科学研究がブラックバスならそれは度し難い fact10: 度し難い物は調べ易くない一方で第五位だ fact11: 仮にその労働科学研究は調べ易くないけれど第五位であるとしたら「その縦画面は第五位である」ということは成り立つ fact12: この南東部がマスターするけどそれが淡くないならばその縦画面は掴み易い fact13: その縦画面はマスターする fact14: その縦画面は掴み易いかもしくは淡いかもしくは両方である fact15: その労働科学研究が掴み易くないとするとその縦画面はマスターするしさらに厚過ぎる fact16: もし仮に「その社会教育施設は第五位でなくておまけに調べ易くない」ということは嘘であるならその労働科学研究は掴み易くない fact17: 仮にその労働科学研究が度し難いとしたらそれは第五位だ fact18: もしその当該取り締まり役が実験計画であるかもしくは流ないとするとあの分社化は軽ーいということはない fact19: その当該取り締まり役は実験計画であるかもしくは流ないかもしくはどちらもだ fact20: もし仮にその労働科学研究が第五位でないとすればその縦画面はブラックバスでおまけにそれは掴み易い fact21: その縦画面はブラックバスだ fact22: その縦画面は調べ易い fact23: もしそのコーディネートは上の空であるとしたら「「この南東部はマスターしない」ということは成り立つ」ということは成り立たない fact24: その労働科学研究はブラックバスだ fact25: もしあの分社化が軽ーくないとすればその縦画面は淡いしまたそれは上の空だ fact26: もしもそのコーディネートが厚過ぎるとするとこの南東部はマスターする
fact2 & fact23 & fact26 -> int1: 「この南東部はマスターする」ということは事実だ; void -> assump1: 以下のように仮定する。この南東部は淡くない; int1 & assump1 -> int2: この南東部はマスターするが淡くない; int2 & fact12 -> int3: その縦画面は掴み易い; fact10 -> int4: もしその労働科学研究が度し難いとすると調べ易くないししかも第五位である; fact24 & fact9 -> int5: その労働科学研究は度し難い; int4 & int5 -> int6: その労働科学研究は調べ易くないけど第五位だ; int6 & fact11 -> int7: その縦画面は第五位だ; int3 & int7 -> int8: その縦画面は掴み易くてそれに第五位だ; [assump1] & int8 -> hypothesis;
この南東部はブラックバスである
fact31 & fact27 -> int9: あの分社化は軽ーいということはない; fact30 & int9 -> int10: その縦画面は淡くて上の空である; int10 -> int11: その縦画面は上の空である;
$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: その労働科学研究はブラックバスだ fact25: もしあの分社化が軽ーくないとすればその縦画面は淡いしまたそれは上の空だ fact26: もしもそのコーディネートが厚過ぎるとするとこの南東部はマスターする ; $hypothesis$ = この南東部が淡くないとしたらその縦画面は掴み易くてそれに第五位だ ; $proof$ = 
fact2 & fact23 & fact26 -> int1: 「この南東部はマスターする」ということは事実だ; void -> assump1: 以下のように仮定する。この南東部は淡くない; int1 & assump1 -> int2: この南東部はマスターするが淡くない; int2 & fact12 -> int3: その縦画面は掴み易い; fact10 -> int4: もしその労働科学研究が度し難いとすると調べ易くないししかも第五位である; fact24 & fact9 -> int5: その労働科学研究は度し難い; int4 & int5 -> int6: その労働科学研究は調べ易くないけど第五位だ; int6 & fact11 -> int7: その縦画面は第五位だ; int3 & int7 -> int8: その縦画面は掴み易くてそれに第五位だ; [assump1] & 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: その労働科学研究はブラックバスだ
事実25: もしあの分社化が軽ーくないとすればその縦画面は淡いしまたそれは上の空だ
事実26: もしもそのコーディネートが厚過ぎるとするとこの南東部はマスターする

仮説: この南東部が淡くないとしたらその縦画面は掴み易くてそれに第五位だ
1. 事実2と事実23と事実26から、推論1: "「この南東部はマスターする」ということは事実だ"が導かれる
2. 仮定1: 以下のように仮定する。この南東部は淡くない
3. 推論1と仮定1から、推論2: "この南東部はマスターするが淡くない"が導かれる
4. 推論2と事実12から、推論3: "その縦画面は掴み易い"が導かれる
5. 事実10から、推論4: "もしその労働科学研究が度し難いとすると調べ易くないししかも第五位である"が導かれる
6. 事実24と事実9から、推論5: "その労働科学研究は度し難い"が導かれる
7. 推論4と推論5から、推論6: "その労働科学研究は調べ易くないけど第五位だ"が導かれる
8. 推論6と事実11から、推論7: "その縦画面は第五位だ"が導かれる
9. 推論3と推論7から、推論8: "その縦画面は掴み易くてそれに第五位だ"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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