「「位置する」ということは成り立つということはないならば為合うし加えて式文でない」物はある
fact1: もしもとある物は仕立てないとすれば「それが式文だしおまけに堅苦しいということはない」ということは偽でない fact2: もしもこのオープン・カレッジが位置するとすると為合うしその上それは式文でない fact3: 「存じ奉らないならチャンプルーだけど胡座でない」物はある fact4: 仮に「このオープン・カレッジは扱かない」ということは成り立つならそれは吸収され易くてまた容易くない fact5: 「仮に位置するなら為合うけれど式文でない」ものはある fact6: このオープン・カレッジが位置しないとしたらそれは式文でない fact7: 「仮に採取出来るということはないとすると賢いが欠しない」物はある fact8: 「「もし仮に欠しないとすると日本人らしいけどのたくらない」ものはある」ということは誤っていない fact9: 「「もし位置しないなら為合う」ものはある」ということは確かだ fact10: 「位置しないとすれば為合うし更に式文な」物はある fact11: 「もし仮に「位置するということはない」ということは成り立つとしたら式文でない」ものはある fact12: もしもこのオープン・カレッジが位置しないならそれは為合うしまたそれは式文でない
fact12 -> hypothesis;
もし仮にこの潮溜まりが仕立てないとしたら式文だし堅苦しいということはない
fact13 -> hypothesis;
$facts$ = fact1: もしもとある物は仕立てないとすれば「それが式文だしおまけに堅苦しいということはない」ということは偽でない fact2: もしもこのオープン・カレッジが位置するとすると為合うしその上それは式文でない fact3: 「存じ奉らないならチャンプルーだけど胡座でない」物はある fact4: 仮に「このオープン・カレッジは扱かない」ということは成り立つならそれは吸収され易くてまた容易くない fact5: 「仮に位置するなら為合うけれど式文でない」ものはある fact6: このオープン・カレッジが位置しないとしたらそれは式文でない fact7: 「仮に採取出来るということはないとすると賢いが欠しない」物はある fact8: 「「もし仮に欠しないとすると日本人らしいけどのたくらない」ものはある」ということは誤っていない fact9: 「「もし位置しないなら為合う」ものはある」ということは確かだ fact10: 「位置しないとすれば為合うし更に式文な」物はある fact11: 「もし仮に「位置するということはない」ということは成り立つとしたら式文でない」ものはある fact12: もしもこのオープン・カレッジが位置しないならそれは為合うしまたそれは式文でない ; $hypothesis$ = 「「位置する」ということは成り立つということはないならば為合うし加えて式文でない」物はある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もしもとある物は仕立てないとすれば「それが式文だしおまけに堅苦しいということはない」ということは偽でない
事実2: もしもこのオープン・カレッジが位置するとすると為合うしその上それは式文でない
事実3: 「存じ奉らないならチャンプルーだけど胡座でない」物はある
事実4: 仮に「このオープン・カレッジは扱かない」ということは成り立つならそれは吸収され易くてまた容易くない
事実5: 「仮に位置するなら為合うけれど式文でない」ものはある
事実6: このオープン・カレッジが位置しないとしたらそれは式文でない
事実7: 「仮に採取出来るということはないとすると賢いが欠しない」物はある
事実8: 「「もし仮に欠しないとすると日本人らしいけどのたくらない」ものはある」ということは誤っていない
事実9: 「「もし位置しないなら為合う」ものはある」ということは確かだ
事実10: 「位置しないとすれば為合うし更に式文な」物はある
事実11: 「もし仮に「位置するということはない」ということは成り立つとしたら式文でない」ものはある
事実12: もしもこのオープン・カレッジが位置しないならそれは為合うしまたそれは式文でない

仮説: 「「位置する」ということは成り立つということはないならば為合うし加えて式文でない」物はある
1. 事実12から、仮説が導かれる

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