そのエッグＳが肢体不自由でないならばあの太政官厨家は生臭い
fact1: その財務安定性分析は堆肥化施設である fact2: そのエッグＳが発信するということはないならそれは生臭くないがしかし歴代藩主だ fact3: なんらかのものは発信するしさらに肢体不自由だ fact4: あの時論は歴代藩主だということはない fact5: 仮にそのエッグＳが生臭くないとしたら堆肥化施設でないけど軌間である fact6: あの爽やかさは手伝わす fact7: もしもそのエッグＳが肢体不自由ならば歴代藩主でないけど堆肥化施設だ fact8: あの爽やかさが軌間だとすると堆肥化施設でないしそれは肢体不自由である fact9: その太政官厨家が体操するしその上発信する fact10: あるものは歴代藩主であるということはないけど発信する fact11: もしそのエッグＳが軌間でないとしたらあの爽やかさは歴代藩主である fact12: 「この環境保全効果は歴代藩主であるということはない」ということは確かだ fact13: そのエッグＳは歴代藩主でないけど軌間である fact14: 仮に「堆肥化施設でないけど発信する」物があるとしたらそのエッグＳは軌間である fact15: もし「あの時論は発信するということはない」ということは成り立つなら「その太政官厨家は生臭くない」ということは成り立たない fact16: もしも何らかのものが歴代藩主でないけど堆肥化施設だとするとあの爽やかさは軌間だ fact17: 「御話する」ものはある fact18: もしもそのエッグＳは肢体不自由であるということはないとしたらそれは歴代藩主でないけれど堆肥化施設だ fact19: 「肢体不自由であるし更に手伝わす」ものはある fact20: もしもなにかは軌間で加えて手伝わすならあの時論は発信しない fact21: 何かは肢体不自由でない fact22: もしそのエッグＳが生臭いということはないならばその太政官厨家は肢体不自由である fact23: その太政官厨家が役らしくないなら生体腎移植でない
void -> assump1: 以下のように仮定する。「そのエッグＳは肢体不自由でない」ということは本当だ; fact18 & assump1 -> int1: そのエッグＳは歴代藩主でないがしかし堆肥化施設だ; int1 -> int2: なんらかのものは歴代藩主でないがしかし堆肥化施設だ; int2 & fact16 -> int3: あの爽やかさは軌間である; int3 & fact6 -> int4: あの爽やかさは軌間だしかつ手伝わす; int4 -> int5: ある物は軌間であるししかも手伝わす; int5 & fact20 -> int6: あの時論は発信しない; int6 & fact15 -> int7: その太政官厨家は生臭い; [assump1] & int7 -> hypothesis;
$facts$ = fact1: その財務安定性分析は堆肥化施設である fact2: そのエッグＳが発信するということはないならそれは生臭くないがしかし歴代藩主だ fact3: なんらかのものは発信するしさらに肢体不自由だ fact4: あの時論は歴代藩主だということはない fact5: 仮にそのエッグＳが生臭くないとしたら堆肥化施設でないけど軌間である fact6: あの爽やかさは手伝わす fact7: もしもそのエッグＳが肢体不自由ならば歴代藩主でないけど堆肥化施設だ fact8: あの爽やかさが軌間だとすると堆肥化施設でないしそれは肢体不自由である fact9: その太政官厨家が体操するしその上発信する fact10: あるものは歴代藩主であるということはないけど発信する fact11: もしそのエッグＳが軌間でないとしたらあの爽やかさは歴代藩主である fact12: 「この環境保全効果は歴代藩主であるということはない」ということは確かだ fact13: そのエッグＳは歴代藩主でないけど軌間である fact14: 仮に「堆肥化施設でないけど発信する」物があるとしたらそのエッグＳは軌間である fact15: もし「あの時論は発信するということはない」ということは成り立つなら「その太政官厨家は生臭くない」ということは成り立たない fact16: もしも何らかのものが歴代藩主でないけど堆肥化施設だとするとあの爽やかさは軌間だ fact17: 「御話する」ものはある fact18: もしもそのエッグＳは肢体不自由であるということはないとしたらそれは歴代藩主でないけれど堆肥化施設だ fact19: 「肢体不自由であるし更に手伝わす」ものはある fact20: もしもなにかは軌間で加えて手伝わすならあの時論は発信しない fact21: 何かは肢体不自由でない fact22: もしそのエッグＳが生臭いということはないならばその太政官厨家は肢体不自由である fact23: その太政官厨家が役らしくないなら生体腎移植でない ; $hypothesis$ = そのエッグＳが肢体不自由でないならばあの太政官厨家は生臭い ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのエッグＳは肢体不自由でない」ということは本当だ; fact18 & assump1 -> int1: そのエッグＳは歴代藩主でないがしかし堆肥化施設だ; int1 -> int2: なんらかのものは歴代藩主でないがしかし堆肥化施設だ; int2 & fact16 -> int3: あの爽やかさは軌間である; int3 & fact6 -> int4: あの爽やかさは軌間だしかつ手伝わす; int4 -> int5: ある物は軌間であるししかも手伝わす; int5 & fact20 -> int6: あの時論は発信しない; int6 & fact15 -> 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: もしもなにかは軌間で加えて手伝わすならあの時論は発信しない
事実21: 何かは肢体不自由でない
事実22: もしそのエッグＳが生臭いということはないならばその太政官厨家は肢体不自由である
事実23: その太政官厨家が役らしくないなら生体腎移植でない

仮説: そのエッグＳが肢体不自由でないならばあの太政官厨家は生臭い
1. 仮定1: 以下のように仮定する。「そのエッグＳは肢体不自由でない」ということは本当だ
2. 事実18と仮定1から、推論1: "そのエッグＳは歴代藩主でないがしかし堆肥化施設だ"が導かれる
3. 推論1から、推論2: "なんらかのものは歴代藩主でないがしかし堆肥化施設だ"が導かれる
4. 推論2と事実16から、推論3: "あの爽やかさは軌間である"が導かれる
5. 推論3と事実6から、推論4: "あの爽やかさは軌間だしかつ手伝わす"が導かれる
6. 推論4から、推論5: "ある物は軌間であるししかも手伝わす"が導かれる
7. 推論5と事実20から、推論6: "あの時論は発信しない"が導かれる
8. 推論6と事実15から、推論7: "その太政官厨家は生臭い"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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