この帰宅は解説する
fact1: もし仮にその見晴らし台が尤もらしくないし通さないとすればあの帰宅は解説しない fact2: もしその見晴らし台が通さないならばあの課長クラスは幼い一方で尤もらしくない fact3: もしもこの課長クラスはキャプチャするなら「この帰宅は解説する」ということは本当である fact4: 「吠え始めるかまたは弱々しかないかあるいは両方な」ものはある fact5: もしもあの雲珠が塩っ辛くないがしかし上り易いとしたらこの課長クラスはＭＩＣでない fact6: 仮に何かは尤もらしくないとしたら幼いししかも通す fact7: その閲覧請求権は幼くない fact8: 「「吠え始めるかまたは弱々しいということはない」ということは事実と異なる」物はある fact9: もし仮に「この文化研究は塩っ辛くてそれは上り易い」ということは嘘だとするとそれはＭＩＣでない fact10: 幼い物はキャプチャする fact11: もし仮にあるものはＭＩＣでないとしたら「キャプチャする一方で解説しない」ということは真実だ fact12: もし仮に「「吠え始めるかまたは弱々しいかまたは両方ともである」ということは成り立たない」ものがあるとするとその見晴らし台は通さない fact13: もし仮に「「吠え始めるかあるいは弱々しかないか両方である」ということは偽な」ものがあるとしたらその見晴らし台は通さない fact14: 「何らかの物はＭＩＣだということはないとすると「それはキャプチャしないけど幼い」ということは誤りだ」ということは事実である fact15: もし「この課長クラスはキャプチャするということはないが幼い」ということは事実と異なればその見晴らし台は幼くない fact16: 仮になにかはキャプチャするがしかし解説するということはないならば尤もらしくない fact17: もし仮にあの販売競争が悍ましいならあの雲珠は塩っ辛くない一方で上り易い
fact8 & fact13 -> int1: その見晴らし台は通さない; int1 & fact2 -> int2: この課長クラスは幼い一方で尤もらしくない; int2 -> int3: 「この課長クラスは幼い」ということは成り立つ; fact10 -> int4: もし仮にこの課長クラスが幼いとすればキャプチャする; int3 & int4 -> int5: この課長クラスはキャプチャする; int5 & fact3 -> hypothesis;
「この文化研究は幼い」ということは確かである
fact19 -> int6: この文化研究が尤もらしくないとしたら幼いしその上それは通す; fact18 -> int7: もし仮にこの文化研究がキャプチャするけど解説しないとすると「尤もらしくない」ということは確かだ; fact20 -> int8: この文化研究はＭＩＣでないならばキャプチャするが解説しない;
$facts$ = fact1: もし仮にその見晴らし台が尤もらしくないし通さないとすればあの帰宅は解説しない fact2: もしその見晴らし台が通さないならばあの課長クラスは幼い一方で尤もらしくない fact3: もしもこの課長クラスはキャプチャするなら「この帰宅は解説する」ということは本当である fact4: 「吠え始めるかまたは弱々しかないかあるいは両方な」ものはある fact5: もしもあの雲珠が塩っ辛くないがしかし上り易いとしたらこの課長クラスはＭＩＣでない fact6: 仮に何かは尤もらしくないとしたら幼いししかも通す fact7: その閲覧請求権は幼くない fact8: 「「吠え始めるかまたは弱々しいということはない」ということは事実と異なる」物はある fact9: もし仮に「この文化研究は塩っ辛くてそれは上り易い」ということは嘘だとするとそれはＭＩＣでない fact10: 幼い物はキャプチャする fact11: もし仮にあるものはＭＩＣでないとしたら「キャプチャする一方で解説しない」ということは真実だ fact12: もし仮に「「吠え始めるかまたは弱々しいかまたは両方ともである」ということは成り立たない」ものがあるとするとその見晴らし台は通さない fact13: もし仮に「「吠え始めるかあるいは弱々しかないか両方である」ということは偽な」ものがあるとしたらその見晴らし台は通さない fact14: 「何らかの物はＭＩＣだということはないとすると「それはキャプチャしないけど幼い」ということは誤りだ」ということは事実である fact15: もし「この課長クラスはキャプチャするということはないが幼い」ということは事実と異なればその見晴らし台は幼くない fact16: 仮になにかはキャプチャするがしかし解説するということはないならば尤もらしくない fact17: もし仮にあの販売競争が悍ましいならあの雲珠は塩っ辛くない一方で上り易い ; $hypothesis$ = この帰宅は解説する ; $proof$ = 
fact8 & fact13 -> int1: その見晴らし台は通さない; int1 & fact2 -> int2: この課長クラスは幼い一方で尤もらしくない; int2 -> int3: 「この課長クラスは幼い」ということは成り立つ; fact10 -> int4: もし仮にこの課長クラスが幼いとすればキャプチャする; int3 & int4 -> int5: この課長クラスはキャプチャする; int5 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にその見晴らし台が尤もらしくないし通さないとすればあの帰宅は解説しない
事実2: もしその見晴らし台が通さないならばあの課長クラスは幼い一方で尤もらしくない
事実3: もしもこの課長クラスはキャプチャするなら「この帰宅は解説する」ということは本当である
事実4: 「吠え始めるかまたは弱々しかないかあるいは両方な」ものはある
事実5: もしもあの雲珠が塩っ辛くないがしかし上り易いとしたらこの課長クラスはＭＩＣでない
事実6: 仮に何かは尤もらしくないとしたら幼いししかも通す
事実7: その閲覧請求権は幼くない
事実8: 「「吠え始めるかまたは弱々しいということはない」ということは事実と異なる」物はある
事実9: もし仮に「この文化研究は塩っ辛くてそれは上り易い」ということは嘘だとするとそれはＭＩＣでない
事実10: 幼い物はキャプチャする
事実11: もし仮にあるものはＭＩＣでないとしたら「キャプチャする一方で解説しない」ということは真実だ
事実12: もし仮に「「吠え始めるかまたは弱々しいかまたは両方ともである」ということは成り立たない」ものがあるとするとその見晴らし台は通さない
事実13: もし仮に「「吠え始めるかあるいは弱々しかないか両方である」ということは偽な」ものがあるとしたらその見晴らし台は通さない
事実14: 「何らかの物はＭＩＣだということはないとすると「それはキャプチャしないけど幼い」ということは誤りだ」ということは事実である
事実15: もし「この課長クラスはキャプチャするということはないが幼い」ということは事実と異なればその見晴らし台は幼くない
事実16: 仮になにかはキャプチャするがしかし解説するということはないならば尤もらしくない
事実17: もし仮にあの販売競争が悍ましいならあの雲珠は塩っ辛くない一方で上り易い

仮説: この帰宅は解説する
1. 事実8と事実13から、推論1: "その見晴らし台は通さない"が導かれる
2. 推論1と事実2から、推論2: "この課長クラスは幼い一方で尤もらしくない"が導かれる
3. 推論2から、推論3: "「この課長クラスは幼い」ということは成り立つ"が導かれる
4. 事実10から、推論4: "もし仮にこの課長クラスが幼いとすればキャプチャする"が導かれる
5. 推論3と推論4から、推論5: "この課長クラスはキャプチャする"が導かれる
6. 推論5と事実3から、仮説が導かれる

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