そのＬＩＳＰは眠気覚ましでない
fact1: 仮にその予測値はキュビスムであるとするとそれは静態化しないがしかし底深い fact2: 「輸出指向工業化は底深い」ということは成り立つ fact3: 仮にその予測値は地域志向であるとしたら「舞い込む」ということは間違いであるということはない fact4: もし「カバーする」ものがあればその予測値は地域志向であるかもしくはキュビスムでない fact5: 何かは重苦しくないならばブルで舞い込む fact6: 仮に輸出指向工業化が重苦しいなら舞い込まない fact7: もし仮に何かは払い込み金だとしたらＰＣＧＳである fact8: 「もしこの縞馬が底深いならそのＬＩＳＰは底深いがしかしそれは静態化しない」ということは偽でない fact9: 「カバーする」ものはある fact10: もしとある物が地域志向であるかあるいはそれはキュビスムでないかあるいは両方ともだとすると舞い込む fact11: もしなにがしかの物がブルでないならばそれは現地語でないし柔らだ fact12: もしもなんらかの物は底深いが静態化するということはないとしたらそれは眠気覚ましでない fact13: もしなにかはブルであるということはないが重苦しいとするとこの縞馬は輸出指向工業化である fact14: この縞馬がブルならそのＬＩＳＰは眠気覚ましである fact15: もしもある物が舞い込むならブルでない一方で重苦しい
fact10 -> int1: もし仮にその予測値が地域志向であるかまたはそれはキュビスムでないならばそれは舞い込む; fact4 & fact9 -> int2: 「その予測値は地域志向であるかあるいはキュビスムでないかまたは両方である」ということは成り立つ; int1 & int2 -> int3: その予測値は舞い込む; fact15 -> int4: もし「その予測値は舞い込む」ということは成り立つとすればそれはブルでないしおまけにそれは重苦しい; int3 & int4 -> int5: その予測値はブルでないがしかし重苦しい; int5 -> int6: とあるものはブルでないけれどそれは重苦しい; int6 & fact13 -> int7: この縞馬は輸出指向工業化である; fact2 -> int8: この縞馬は輸出指向工業化であるならばそれは底深い; int7 & int8 -> int9: この縞馬は底深い; int9 & fact8 -> int10: そのＬＩＳＰは底深いが静態化するということはない; fact12 -> int11: もしもそのＬＩＳＰが底深い一方で静態化しないとすると「それは眠気覚ましでない」ということは成り立つ; int10 & int11 -> hypothesis;
この大学設置基準は現地語でないけれど柔らである
fact17 -> int12: もしこの大学設置基準はブルでないとしたら現地語でないが柔らだ; fact16 -> int13: もしもこの縞馬が輸出指向工業化であるしそれに重苦しいとすると舞い込まない;
$facts$ = fact1: 仮にその予測値はキュビスムであるとするとそれは静態化しないがしかし底深い fact2: 「輸出指向工業化は底深い」ということは成り立つ fact3: 仮にその予測値は地域志向であるとしたら「舞い込む」ということは間違いであるということはない fact4: もし「カバーする」ものがあればその予測値は地域志向であるかもしくはキュビスムでない fact5: 何かは重苦しくないならばブルで舞い込む fact6: 仮に輸出指向工業化が重苦しいなら舞い込まない fact7: もし仮に何かは払い込み金だとしたらＰＣＧＳである fact8: 「もしこの縞馬が底深いならそのＬＩＳＰは底深いがしかしそれは静態化しない」ということは偽でない fact9: 「カバーする」ものはある fact10: もしとある物が地域志向であるかあるいはそれはキュビスムでないかあるいは両方ともだとすると舞い込む fact11: もしなにがしかの物がブルでないならばそれは現地語でないし柔らだ fact12: もしもなんらかの物は底深いが静態化するということはないとしたらそれは眠気覚ましでない fact13: もしなにかはブルであるということはないが重苦しいとするとこの縞馬は輸出指向工業化である fact14: この縞馬がブルならそのＬＩＳＰは眠気覚ましである fact15: もしもある物が舞い込むならブルでない一方で重苦しい ; $hypothesis$ = そのＬＩＳＰは眠気覚ましでない ; $proof$ = 
fact10 -> int1: もし仮にその予測値が地域志向であるかまたはそれはキュビスムでないならばそれは舞い込む; fact4 & fact9 -> int2: 「その予測値は地域志向であるかあるいはキュビスムでないかまたは両方である」ということは成り立つ; int1 & int2 -> int3: その予測値は舞い込む; fact15 -> int4: もし「その予測値は舞い込む」ということは成り立つとすればそれはブルでないしおまけにそれは重苦しい; int3 & int4 -> int5: その予測値はブルでないがしかし重苦しい; int5 -> int6: とあるものはブルでないけれどそれは重苦しい; int6 & fact13 -> int7: この縞馬は輸出指向工業化である; fact2 -> int8: この縞馬は輸出指向工業化であるならばそれは底深い; int7 & int8 -> int9: この縞馬は底深い; int9 & fact8 -> int10: そのＬＩＳＰは底深いが静態化するということはない; fact12 -> int11: もしもそのＬＩＳＰが底深い一方で静態化しないとすると「それは眠気覚ましでない」ということは成り立つ; int10 & int11 -> hypothesis; __PROVED__
事実1: 仮にその予測値はキュビスムであるとするとそれは静態化しないがしかし底深い
事実2: 「輸出指向工業化は底深い」ということは成り立つ
事実3: 仮にその予測値は地域志向であるとしたら「舞い込む」ということは間違いであるということはない
事実4: もし「カバーする」ものがあればその予測値は地域志向であるかもしくはキュビスムでない
事実5: 何かは重苦しくないならばブルで舞い込む
事実6: 仮に輸出指向工業化が重苦しいなら舞い込まない
事実7: もし仮に何かは払い込み金だとしたらＰＣＧＳである
事実8: 「もしこの縞馬が底深いならそのＬＩＳＰは底深いがしかしそれは静態化しない」ということは偽でない
事実9: 「カバーする」ものはある
事実10: もしとある物が地域志向であるかあるいはそれはキュビスムでないかあるいは両方ともだとすると舞い込む
事実11: もしなにがしかの物がブルでないならばそれは現地語でないし柔らだ
事実12: もしもなんらかの物は底深いが静態化するということはないとしたらそれは眠気覚ましでない
事実13: もしなにかはブルであるということはないが重苦しいとするとこの縞馬は輸出指向工業化である
事実14: この縞馬がブルならそのＬＩＳＰは眠気覚ましである
事実15: もしもある物が舞い込むならブルでない一方で重苦しい

仮説: そのＬＩＳＰは眠気覚ましでない
1. 事実10から、推論1: "もし仮にその予測値が地域志向であるかまたはそれはキュビスムでないならばそれは舞い込む"が導かれる
2. 事実4と事実9から、推論2: "「その予測値は地域志向であるかあるいはキュビスムでないかまたは両方である」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その予測値は舞い込む"が導かれる
4. 事実15から、推論4: "もし「その予測値は舞い込む」ということは成り立つとすればそれはブルでないしおまけにそれは重苦しい"が導かれる
5. 推論3と推論4から、推論5: "その予測値はブルでないがしかし重苦しい"が導かれる
6. 推論5から、推論6: "とあるものはブルでないけれどそれは重苦しい"が導かれる
7. 推論6と事実13から、推論7: "この縞馬は輸出指向工業化である"が導かれる
8. 事実2から、推論8: "この縞馬は輸出指向工業化であるならばそれは底深い"が導かれる
9. 推論7と推論8から、推論9: "この縞馬は底深い"が導かれる
10. 推論9と事実8から、推論10: "そのＬＩＳＰは底深いが静態化するということはない"が導かれる
11. 事実12から、推論11: "もしもそのＬＩＳＰが底深い一方で静態化しないとすると「それは眠気覚ましでない」ということは成り立つ"が導かれる
12. 推論10と推論11から、仮説が導かれる

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