「このパティシェは股肱だがしかし意思決定能力でない」ということは間違いである
fact1: 仮に「あの聖ヨセフ教会は粗い」ということは正しいとしたらこのパティシェは股肱である fact2: もし仮にその予算上は遺族給付金でないとすると「それはカタラーゼでないしさらにそれは感状だ」ということは成り立たない fact3: 「その予算上はすっごーい一方で粗くない」ということは成り立たないとするとあの聖ヨセフ教会は粗い fact4: もし「その予算上は飽き飽きしないかあるいは飽きっぽいか両方である」ということは誤りならば遺族給付金でない fact5: そのＩＴ企業は感状だ fact6: もし仮に「このカラーコレクタは捕らえ易くないが著しい」ということは間違いであるなら「その共和派は著しかない」ということは成り立つ fact7: 「「あの施設内外が高見馬場だけど著しかない」ということは嘘だ」ということは誤りでない fact8: 「なにかはカタラーゼだということはないけれど感状である」ということは成り立たないとすると「それは感状でない」ということは確かだ fact9: もし仮にそのＩＴ企業が吸収され難いならばこのパティシェは執刀しなくて意思決定能力でない fact10: 「そのＩＴ企業はすっごーい一方でそれは著しかない」ということは偽であるとしたらそれは築造するということはない fact11: 何かは感状であるということはないならば「すっごーい一方で粗くない」ということは成り立たない fact12: このパティシェが股肱であるがしかしそれが意思決定能力でないならあの聖ヨセフ教会は粗いということはない fact13: もしその共和派が著しかないならばあのＩＴ企業は著しかない fact14: もし仮に「なんらかのものは執刀しないしさらに吸収され難くない」ということは成り立たないとすればそれは築造する fact15: もしもあの聖ヨセフ教会は粗くないとすれば「そのＩＴ企業は執刀しなくてかつ吸収され難くない」ということは真実でない fact16: もし仮にこのカラーコレクタは出荷乳量でないとすれば「捕らえ易くないししかもそれは著しい」ということは誤りである fact17: もし「あの音写語は食うということはなくてしかも弾き続けない」ということは確かなら打ちのめす fact18: もし仮にそのＩＴ企業は感状であるとすると「すっごーいが著しかない」ということは成り立つということはない fact19: 著しかない物は築造するし加えて吸収され難い fact20: もしあの音写語は打ちのめすとしたら「その予算上は飽き飽きしないか飽きっぽいかどちらもである」ということは成り立たない
void -> assump1: 以下のように仮定する。このパティシェは股肱であるけれど意思決定能力でない; fact12 & assump1 -> int1: あの聖ヨセフ教会は粗くない; int1 & fact15 -> int2: 「そのＩＴ企業は執刀しないしそれにそれは吸収され難くない」ということは偽である; fact14 -> int3: 仮に「そのＩＴ企業は執刀するということはなくて吸収され難くない」ということは嘘であるとしたらそれは築造する; int2 & int3 -> int4: そのＩＴ企業は築造する; fact5 & fact18 -> int5: 「そのＩＴ企業はすっごーいけどそれは著しかない」ということは成り立たない; int5 & fact10 -> int6: そのＩＴ企業は築造しない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
このパティシェは股肱であるけれど意思決定能力でない
fact26 -> int8: もしも「その予算上は感状であるということはない」ということは成り立つとしたら「それはすっごーい一方で粗くない」ということは成り立たない; fact25 -> int9: 仮に「その予算上はカタラーゼでないけれど感状だ」ということは成り立たないならそれは感状でない; fact21 -> int10: そのＩＴ企業が著しかないとしたらそれは築造するしそれは吸収され難い;
$facts$ = fact1: 仮に「あの聖ヨセフ教会は粗い」ということは正しいとしたらこのパティシェは股肱である fact2: もし仮にその予算上は遺族給付金でないとすると「それはカタラーゼでないしさらにそれは感状だ」ということは成り立たない fact3: 「その予算上はすっごーい一方で粗くない」ということは成り立たないとするとあの聖ヨセフ教会は粗い fact4: もし「その予算上は飽き飽きしないかあるいは飽きっぽいか両方である」ということは誤りならば遺族給付金でない fact5: そのＩＴ企業は感状だ fact6: もし仮に「このカラーコレクタは捕らえ易くないが著しい」ということは間違いであるなら「その共和派は著しかない」ということは成り立つ fact7: 「「あの施設内外が高見馬場だけど著しかない」ということは嘘だ」ということは誤りでない fact8: 「なにかはカタラーゼだということはないけれど感状である」ということは成り立たないとすると「それは感状でない」ということは確かだ fact9: もし仮にそのＩＴ企業が吸収され難いならばこのパティシェは執刀しなくて意思決定能力でない fact10: 「そのＩＴ企業はすっごーい一方でそれは著しかない」ということは偽であるとしたらそれは築造するということはない fact11: 何かは感状であるということはないならば「すっごーい一方で粗くない」ということは成り立たない fact12: このパティシェが股肱であるがしかしそれが意思決定能力でないならあの聖ヨセフ教会は粗いということはない fact13: もしその共和派が著しかないならばあのＩＴ企業は著しかない fact14: もし仮に「なんらかのものは執刀しないしさらに吸収され難くない」ということは成り立たないとすればそれは築造する fact15: もしもあの聖ヨセフ教会は粗くないとすれば「そのＩＴ企業は執刀しなくてかつ吸収され難くない」ということは真実でない fact16: もし仮にこのカラーコレクタは出荷乳量でないとすれば「捕らえ易くないししかもそれは著しい」ということは誤りである fact17: もし「あの音写語は食うということはなくてしかも弾き続けない」ということは確かなら打ちのめす fact18: もし仮にそのＩＴ企業は感状であるとすると「すっごーいが著しかない」ということは成り立つということはない fact19: 著しかない物は築造するし加えて吸収され難い fact20: もしあの音写語は打ちのめすとしたら「その予算上は飽き飽きしないか飽きっぽいかどちらもである」ということは成り立たない ; $hypothesis$ = 「このパティシェは股肱だがしかし意思決定能力でない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。このパティシェは股肱であるけれど意思決定能力でない; fact12 & assump1 -> int1: あの聖ヨセフ教会は粗くない; int1 & fact15 -> int2: 「そのＩＴ企業は執刀しないしそれにそれは吸収され難くない」ということは偽である; fact14 -> int3: 仮に「そのＩＴ企業は執刀するということはなくて吸収され難くない」ということは嘘であるとしたらそれは築造する; int2 & int3 -> int4: そのＩＴ企業は築造する; fact5 & fact18 -> int5: 「そのＩＴ企業はすっごーいけどそれは著しかない」ということは成り立たない; int5 & fact10 -> int6: そのＩＴ企業は築造しない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮に「あの聖ヨセフ教会は粗い」ということは正しいとしたらこのパティシェは股肱である
事実2: もし仮にその予算上は遺族給付金でないとすると「それはカタラーゼでないしさらにそれは感状だ」ということは成り立たない
事実3: 「その予算上はすっごーい一方で粗くない」ということは成り立たないとするとあの聖ヨセフ教会は粗い
事実4: もし「その予算上は飽き飽きしないかあるいは飽きっぽいか両方である」ということは誤りならば遺族給付金でない
事実5: そのＩＴ企業は感状だ
事実6: もし仮に「このカラーコレクタは捕らえ易くないが著しい」ということは間違いであるなら「その共和派は著しかない」ということは成り立つ
事実7: 「「あの施設内外が高見馬場だけど著しかない」ということは嘘だ」ということは誤りでない
事実8: 「なにかはカタラーゼだということはないけれど感状である」ということは成り立たないとすると「それは感状でない」ということは確かだ
事実9: もし仮にそのＩＴ企業が吸収され難いならばこのパティシェは執刀しなくて意思決定能力でない
事実10: 「そのＩＴ企業はすっごーい一方でそれは著しかない」ということは偽であるとしたらそれは築造するということはない
事実11: 何かは感状であるということはないならば「すっごーい一方で粗くない」ということは成り立たない
事実12: このパティシェが股肱であるがしかしそれが意思決定能力でないならあの聖ヨセフ教会は粗いということはない
事実13: もしその共和派が著しかないならばあのＩＴ企業は著しかない
事実14: もし仮に「なんらかのものは執刀しないしさらに吸収され難くない」ということは成り立たないとすればそれは築造する
事実15: もしもあの聖ヨセフ教会は粗くないとすれば「そのＩＴ企業は執刀しなくてかつ吸収され難くない」ということは真実でない
事実16: もし仮にこのカラーコレクタは出荷乳量でないとすれば「捕らえ易くないししかもそれは著しい」ということは誤りである
事実17: もし「あの音写語は食うということはなくてしかも弾き続けない」ということは確かなら打ちのめす
事実18: もし仮にそのＩＴ企業は感状であるとすると「すっごーいが著しかない」ということは成り立つということはない
事実19: 著しかない物は築造するし加えて吸収され難い
事実20: もしあの音写語は打ちのめすとしたら「その予算上は飽き飽きしないか飽きっぽいかどちらもである」ということは成り立たない

仮説: 「このパティシェは股肱だがしかし意思決定能力でない」ということは間違いである
1. 仮定1: 以下のように仮定する。このパティシェは股肱であるけれど意思決定能力でない
2. 事実12と仮定1から、推論1: "あの聖ヨセフ教会は粗くない"が導かれる
3. 推論1と事実15から、推論2: "「そのＩＴ企業は執刀しないしそれにそれは吸収され難くない」ということは偽である"が導かれる
4. 事実14から、推論3: "仮に「そのＩＴ企業は執刀するということはなくて吸収され難くない」ということは嘘であるとしたらそれは築造する"が導かれる
5. 推論2と推論3から、推論4: "そのＩＴ企業は築造する"が導かれる
6. 事実5と事実18から、推論5: "「そのＩＴ企業はすっごーいけどそれは著しかない」ということは成り立たない"が導かれる
7. 推論5と事実10から、推論6: "そのＩＴ企業は築造しない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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