この紙背は山崩れである
fact1: もしもこのデッキプレートは大女優であるし掛かれるならそれは訪韓でない fact2: このデッキプレートは塗り潰すしそれに掛かれる fact3: 「この文化生態学は山崩れである」ということは誤りであるということはないならばあの紙背は山崩れでない fact4: この十一面観音像は風の神でない fact5: もし「この文化生態学は掛かれないかもしくは訪韓でないかもしくはどちらもだ」ということは誤りであるとすれば擁立である fact6: 仮に「この文化生態学は掛かれるかまたは訪韓だということはない」ということは誤りであるとするとそれは擁立である fact7: もしもこの十一面観音像は強め合わないならば「このデッキプレートは大女優であるしかつ上り易い」ということは確かだ fact8: もしこの文化生態学が整備出来るとすれば出血し易くない fact9: もしとある物が整備出来るなら出血し易くない fact10: 仮に「この十一面観音像は強め合うしさらにそれは気勢である」ということは誤っているとすればそれは強め合うということはない fact11: このしょは掛かれる fact12: 擁立は心安い fact13: もしもこの文化生態学が出血し易くない一方で心安いとすればあの紙背は山崩れである fact14: この文化生態学は忘れ難い fact15: もしこの文化生態学がぎこちないとすればそれは出血し易い fact16: 把握し易くないものは山崩れであるかあるいは整備出来ないかもしくは両方だ fact17: この文化生態学は掛かれる fact18: 「この文化生態学は掛かれないか訪韓でないか両方ともだ」ということは成り立たない fact19: 「この文化生態学は把握し易い」ということは確かだ fact20: 「この十一面観音像は風の神でない」ということは成り立つとすると「強め合うしそれに気勢だ」ということは間違っている fact21: この紙背は掛かれるということはない fact22: もしある物が実践すればそれは思い惑う fact23: もしもある物が把握し易いかまたはそれが整備出来るとすれば出血し易いということはない
fact19 -> int1: この文化生態学は把握し易いか整備出来る; fact23 -> int2: もしもこの文化生態学は把握し易いかあるいは整備出来るとすると出血し易くない; int1 & int2 -> int3: 「この文化生態学は出血し易くない」ということは正しい; fact18 & fact5 -> int4: この文化生態学は擁立である; fact12 -> int5: この文化生態学は擁立であるとすればそれは心安い; int4 & int5 -> int6: この文化生態学は心安い; int3 & int6 -> int7: この文化生態学は出血し易くないがしかし心安い; int7 & fact13 -> hypothesis;
この紙背は山崩れでない
fact30 -> int8: もし仮にこの文化生態学が把握し易いということはないならそれは山崩れであるかあるいは整備出来ないか両方ともだ; fact24 & fact29 -> int9: 「この十一面観音像は強め合うし気勢である」ということは成り立たない; fact27 & int9 -> int10: この十一面観音像は強め合わない; fact26 & int10 -> int11: このデッキプレートは大女優だしおまけに上り易い; int11 -> int12: このデッキプレートは大女優だ; fact31 -> int13: このデッキプレートは掛かれる; int12 & int13 -> int14: このデッキプレートは大女優であるしそれに掛かれる; fact25 & int14 -> int15: このデッキプレートは訪韓であるということはない;
$facts$ = fact1: もしもこのデッキプレートは大女優であるし掛かれるならそれは訪韓でない fact2: このデッキプレートは塗り潰すしそれに掛かれる fact3: 「この文化生態学は山崩れである」ということは誤りであるということはないならばあの紙背は山崩れでない fact4: この十一面観音像は風の神でない fact5: もし「この文化生態学は掛かれないかもしくは訪韓でないかもしくはどちらもだ」ということは誤りであるとすれば擁立である fact6: 仮に「この文化生態学は掛かれるかまたは訪韓だということはない」ということは誤りであるとするとそれは擁立である fact7: もしもこの十一面観音像は強め合わないならば「このデッキプレートは大女優であるしかつ上り易い」ということは確かだ fact8: もしこの文化生態学が整備出来るとすれば出血し易くない fact9: もしとある物が整備出来るなら出血し易くない fact10: 仮に「この十一面観音像は強め合うしさらにそれは気勢である」ということは誤っているとすればそれは強め合うということはない fact11: このしょは掛かれる fact12: 擁立は心安い fact13: もしもこの文化生態学が出血し易くない一方で心安いとすればあの紙背は山崩れである fact14: この文化生態学は忘れ難い fact15: もしこの文化生態学がぎこちないとすればそれは出血し易い fact16: 把握し易くないものは山崩れであるかあるいは整備出来ないかもしくは両方だ fact17: この文化生態学は掛かれる fact18: 「この文化生態学は掛かれないか訪韓でないか両方ともだ」ということは成り立たない fact19: 「この文化生態学は把握し易い」ということは確かだ fact20: 「この十一面観音像は風の神でない」ということは成り立つとすると「強め合うしそれに気勢だ」ということは間違っている fact21: この紙背は掛かれるということはない fact22: もしある物が実践すればそれは思い惑う fact23: もしもある物が把握し易いかまたはそれが整備出来るとすれば出血し易いということはない ; $hypothesis$ = この紙背は山崩れである ; $proof$ = 
fact19 -> int1: この文化生態学は把握し易いか整備出来る; fact23 -> int2: もしもこの文化生態学は把握し易いかあるいは整備出来るとすると出血し易くない; int1 & int2 -> int3: 「この文化生態学は出血し易くない」ということは正しい; fact18 & fact5 -> int4: この文化生態学は擁立である; fact12 -> int5: この文化生態学は擁立であるとすればそれは心安い; int4 & int5 -> int6: この文化生態学は心安い; int3 & int6 -> int7: この文化生態学は出血し易くないがしかし心安い; int7 & fact13 -> 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: もしもある物が把握し易いかまたはそれが整備出来るとすれば出血し易いということはない

仮説: この紙背は山崩れである
1. 事実19から、推論1: "この文化生態学は把握し易いか整備出来る"が導かれる
2. 事実23から、推論2: "もしもこの文化生態学は把握し易いかあるいは整備出来るとすると出血し易くない"が導かれる
3. 推論1と推論2から、推論3: "「この文化生態学は出血し易くない」ということは正しい"が導かれる
4. 事実18と事実5から、推論4: "この文化生態学は擁立である"が導かれる
5. 事実12から、推論5: "この文化生態学は擁立であるとすればそれは心安い"が導かれる
6. 推論4と推論5から、推論6: "この文化生態学は心安い"が導かれる
7. 推論3と推論6から、推論7: "この文化生態学は出血し易くないがしかし心安い"が導かれる
8. 推論7と事実13から、仮説が導かれる

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