この縦横学派は催促するしさらにひ弱い
fact1: もしも「この縦横学派は電気的性質でない」ということは成り立てば「それは狭しないしやくざっぽくない」ということは間違いだ fact2: この健康福祉センターは適用し得ないならばそれはひ弱いということはない fact3: もしも「「この健康福祉センターは電気的性質だということはなくてかつ身悶えない」ということは成り立たない」ということは本当であるとすればこの縦横学派は電気的性質でない fact4: もしこの制定過程がシックスナインするということはなくてまた大模様でないとしたらこの健康福祉センターは大模様でない fact5: この健康福祉センターがひ弱くないならこの縦横学派は催促するしひ弱い fact6: 仮にこの健康福祉センターは大模様でないとしたら「電気的性質でないしさらに身悶えるということはない」ということは成り立たない fact7: 何らかのものは適用し得ないなら「それは催促するしそれにひ弱い」ということは誤りだ fact8: 「「あの国会答弁は理屈っぽくないけど少なし」ということは真実だ」ということは成り立つということはない fact9: 「なにかは狭しないしやくざっぽくない」ということは成り立たないならそれは適用し得ない fact10: もしも「「理屈っぽくないが少なし」ということは事実と異なる」物があるとするとこの健康福祉センターは適用し得るということはない fact11: この制定過程はシックスナインしない一方で辛抱強い
fact8 -> int1: 「「理屈っぽくない一方で少なし」ということは成り立たない」物はある; int1 & fact10 -> int2: この健康福祉センターは適用し得ない; int2 & fact2 -> int3: この健康福祉センターはひ弱くない; int3 & fact5 -> hypothesis;
「「この縦横学派は催促するし更にひ弱い」ということは事実である」ということは誤っている
fact18 -> int4: 「この縦横学派は適用し得ない」ということは真実ならば「それは催促するし更にひ弱い」ということは偽だ; fact12 -> int5: 仮に「この縦横学派は狭しないし更にやくざっぽいということはない」ということは誤っていれば適用し得ない; fact16 -> int6: この制定過程はシックスナインしない;
$facts$ = fact1: もしも「この縦横学派は電気的性質でない」ということは成り立てば「それは狭しないしやくざっぽくない」ということは間違いだ fact2: この健康福祉センターは適用し得ないならばそれはひ弱いということはない fact3: もしも「「この健康福祉センターは電気的性質だということはなくてかつ身悶えない」ということは成り立たない」ということは本当であるとすればこの縦横学派は電気的性質でない fact4: もしこの制定過程がシックスナインするということはなくてまた大模様でないとしたらこの健康福祉センターは大模様でない fact5: この健康福祉センターがひ弱くないならこの縦横学派は催促するしひ弱い fact6: 仮にこの健康福祉センターは大模様でないとしたら「電気的性質でないしさらに身悶えるということはない」ということは成り立たない fact7: 何らかのものは適用し得ないなら「それは催促するしそれにひ弱い」ということは誤りだ fact8: 「「あの国会答弁は理屈っぽくないけど少なし」ということは真実だ」ということは成り立つということはない fact9: 「なにかは狭しないしやくざっぽくない」ということは成り立たないならそれは適用し得ない fact10: もしも「「理屈っぽくないが少なし」ということは事実と異なる」物があるとするとこの健康福祉センターは適用し得るということはない fact11: この制定過程はシックスナインしない一方で辛抱強い ; $hypothesis$ = この縦横学派は催促するしさらにひ弱い ; $proof$ = 
fact8 -> int1: 「「理屈っぽくない一方で少なし」ということは成り立たない」物はある; int1 & fact10 -> int2: この健康福祉センターは適用し得ない; int2 & fact2 -> int3: この健康福祉センターはひ弱くない; int3 & fact5 -> hypothesis; __PROVED__
事実1: もしも「この縦横学派は電気的性質でない」ということは成り立てば「それは狭しないしやくざっぽくない」ということは間違いだ
事実2: この健康福祉センターは適用し得ないならばそれはひ弱いということはない
事実3: もしも「「この健康福祉センターは電気的性質だということはなくてかつ身悶えない」ということは成り立たない」ということは本当であるとすればこの縦横学派は電気的性質でない
事実4: もしこの制定過程がシックスナインするということはなくてまた大模様でないとしたらこの健康福祉センターは大模様でない
事実5: この健康福祉センターがひ弱くないならこの縦横学派は催促するしひ弱い
事実6: 仮にこの健康福祉センターは大模様でないとしたら「電気的性質でないしさらに身悶えるということはない」ということは成り立たない
事実7: 何らかのものは適用し得ないなら「それは催促するしそれにひ弱い」ということは誤りだ
事実8: 「「あの国会答弁は理屈っぽくないけど少なし」ということは真実だ」ということは成り立つということはない
事実9: 「なにかは狭しないしやくざっぽくない」ということは成り立たないならそれは適用し得ない
事実10: もしも「「理屈っぽくないが少なし」ということは事実と異なる」物があるとするとこの健康福祉センターは適用し得るということはない
事実11: この制定過程はシックスナインしない一方で辛抱強い

仮説: この縦横学派は催促するしさらにひ弱い
1. 事実8から、推論1: "「「理屈っぽくない一方で少なし」ということは成り立たない」物はある"が導かれる
2. 推論1と事実10から、推論2: "この健康福祉センターは適用し得ない"が導かれる
3. 推論2と事実2から、推論3: "この健康福祉センターはひ弱くない"が導かれる
4. 推論3と事実5から、仮説が導かれる

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