「あの専門単科大学は飲み難いけれど小高くない」ということは確かでない
fact1: もしこの漢字語は水滸伝だということはないとすれば「くどくないし加えてそれは回りくどいということはない」ということは偽である fact2: そのポニーさんは傑物だ fact3: もし仮になにかはくどくないとすれば「それは駆使するしそれにそれは多し」ということは成り立たない fact4: 仮に「あの亜種は駆使するしまた多し」ということは嘘ならあの専門単科大学は多しということはない fact5: もし仮に「「この漢字語はくどいということはないしそれは回りくどくない」ということは確かでない」ということは真実であるとするとあの亜種はくどくない fact6: それは小高くてまた信州産だという物はない fact7: もし仮にあの専門単科大学は駆使するとすれば「飲み難い一方で小高くない」ということは誤っている fact8: もしも何らかのものは水滸伝なら「それは演出するししかもそれは回りくどくない」ということは嘘だ fact9: そのポニーさんが小高くなくて演出しないとすると「この理論構築は小高くない」ということは正しい fact10: 「あの地域保健活動は重畳であるがしかし駆使するということはない」ということは偽である fact11: もしも「あるものは小高くて信州産だ」ということは間違っていればそれは小高くない fact12: あの専門単科大学は信州産でかつくどい fact13: そのポニーさんは小高くない fact14: あの専門単科大学はくどい fact15: もしもそのポニーさんは傑物であるならばそれは受け難いが演出しない fact16: あの専門単科大学は信州産であるとしたらそれは駆使する fact17: 「あの専門単科大学は飲み難いしおまけに小高い」ということは間違っている fact18: 「何らかの物は駆使するけれど飲み難くない」ということは偽であるならば飲み難い fact19: もしもあの専門単科大学は駆使するなら「飲み難くておまけに小高い」ということは事実でない fact20: 「仮に「「あの専門単科大学は演出するがしかし回りくどくない」ということは真実である」ということは間違いであるならあの専門単科大学はくどくない」ということは確かだ fact21: この漢字語は猛るが水滸伝でない fact22: もし仮にあの専門単科大学が多しないならばこの理論構築は多し
fact12 -> int1: あの専門単科大学は信州産だ; int1 & fact16 -> int2: あの専門単科大学は駆使する; int2 & fact7 -> hypothesis;
この理論構築は多しししかも飲み難い
fact23 -> int3: もしもあの亜種はくどくないとしたら「それは駆使するし多し」ということは誤りである; fact26 -> int4: この漢字語は水滸伝でない; fact27 & int4 -> int5: 「この漢字語はくどくないし更に回りくどくない」ということは真実だということはない; fact30 & int5 -> int6: あの亜種はくどくない; int3 & int6 -> int7: 「あの亜種は駆使するし多し」ということは間違いだ; fact28 & int7 -> int8: あの専門単科大学は多しということはない; fact24 & int8 -> int9: この理論構築は多し; fact25 & fact32 -> int10: そのポニーさんは受け難いけれど演出するということはない; int10 -> int11: 「そのポニーさんは演出しない」ということは本当だ; fact29 & int11 -> int12: そのポニーさんは小高いということはないしおまけに演出するということはない; fact31 & int12 -> int13: 「この理論構築は小高くない」ということは正しい;
$facts$ = fact1: もしこの漢字語は水滸伝だということはないとすれば「くどくないし加えてそれは回りくどいということはない」ということは偽である fact2: そのポニーさんは傑物だ fact3: もし仮になにかはくどくないとすれば「それは駆使するしそれにそれは多し」ということは成り立たない fact4: 仮に「あの亜種は駆使するしまた多し」ということは嘘ならあの専門単科大学は多しということはない fact5: もし仮に「「この漢字語はくどいということはないしそれは回りくどくない」ということは確かでない」ということは真実であるとするとあの亜種はくどくない fact6: それは小高くてまた信州産だという物はない fact7: もし仮にあの専門単科大学は駆使するとすれば「飲み難い一方で小高くない」ということは誤っている fact8: もしも何らかのものは水滸伝なら「それは演出するししかもそれは回りくどくない」ということは嘘だ fact9: そのポニーさんが小高くなくて演出しないとすると「この理論構築は小高くない」ということは正しい fact10: 「あの地域保健活動は重畳であるがしかし駆使するということはない」ということは偽である fact11: もしも「あるものは小高くて信州産だ」ということは間違っていればそれは小高くない fact12: あの専門単科大学は信州産でかつくどい fact13: そのポニーさんは小高くない fact14: あの専門単科大学はくどい fact15: もしもそのポニーさんは傑物であるならばそれは受け難いが演出しない fact16: あの専門単科大学は信州産であるとしたらそれは駆使する fact17: 「あの専門単科大学は飲み難いしおまけに小高い」ということは間違っている fact18: 「何らかの物は駆使するけれど飲み難くない」ということは偽であるならば飲み難い fact19: もしもあの専門単科大学は駆使するなら「飲み難くておまけに小高い」ということは事実でない fact20: 「仮に「「あの専門単科大学は演出するがしかし回りくどくない」ということは真実である」ということは間違いであるならあの専門単科大学はくどくない」ということは確かだ fact21: この漢字語は猛るが水滸伝でない fact22: もし仮にあの専門単科大学が多しないならばこの理論構築は多し ; $hypothesis$ = 「あの専門単科大学は飲み難いけれど小高くない」ということは確かでない ; $proof$ = 
fact12 -> int1: あの専門単科大学は信州産だ; int1 & fact16 -> int2: あの専門単科大学は駆使する; int2 & fact7 -> hypothesis; __PROVED__
事実1: もしこの漢字語は水滸伝だということはないとすれば「くどくないし加えてそれは回りくどいということはない」ということは偽である
事実2: そのポニーさんは傑物だ
事実3: もし仮になにかはくどくないとすれば「それは駆使するしそれにそれは多し」ということは成り立たない
事実4: 仮に「あの亜種は駆使するしまた多し」ということは嘘ならあの専門単科大学は多しということはない
事実5: もし仮に「「この漢字語はくどいということはないしそれは回りくどくない」ということは確かでない」ということは真実であるとするとあの亜種はくどくない
事実6: それは小高くてまた信州産だという物はない
事実7: もし仮にあの専門単科大学は駆使するとすれば「飲み難い一方で小高くない」ということは誤っている
事実8: もしも何らかのものは水滸伝なら「それは演出するししかもそれは回りくどくない」ということは嘘だ
事実9: そのポニーさんが小高くなくて演出しないとすると「この理論構築は小高くない」ということは正しい
事実10: 「あの地域保健活動は重畳であるがしかし駆使するということはない」ということは偽である
事実11: もしも「あるものは小高くて信州産だ」ということは間違っていればそれは小高くない
事実12: あの専門単科大学は信州産でかつくどい
事実13: そのポニーさんは小高くない
事実14: あの専門単科大学はくどい
事実15: もしもそのポニーさんは傑物であるならばそれは受け難いが演出しない
事実16: あの専門単科大学は信州産であるとしたらそれは駆使する
事実17: 「あの専門単科大学は飲み難いしおまけに小高い」ということは間違っている
事実18: 「何らかの物は駆使するけれど飲み難くない」ということは偽であるならば飲み難い
事実19: もしもあの専門単科大学は駆使するなら「飲み難くておまけに小高い」ということは事実でない
事実20: 「仮に「「あの専門単科大学は演出するがしかし回りくどくない」ということは真実である」ということは間違いであるならあの専門単科大学はくどくない」ということは確かだ
事実21: この漢字語は猛るが水滸伝でない
事実22: もし仮にあの専門単科大学が多しないならばこの理論構築は多し

仮説: 「あの専門単科大学は飲み難いけれど小高くない」ということは確かでない
1. 事実12から、推論1: "あの専門単科大学は信州産だ"が導かれる
2. 推論1と事実16から、推論2: "あの専門単科大学は駆使する"が導かれる
3. 推論2と事実7から、仮説が導かれる

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