「輸出すれば「呼び入れるけれど雄々しかない」ということは誤りである」物はある
fact1: もしその教体は輸出するとすれば「呼び入れるし更に雄々しい」ということは成り立たない fact2: 「勝ち過ぎれば「妥当だ一方で企業家達でない」ということは間違っている」ものはある fact3: もし仮になんらかのものはＯＢ臭いならば「それは危うくておまけに雄々しかない」ということは誤っている fact4: 「もし白黒付けるとすれば「際限無いけどちっこくない」ということは成り立たない」物はある fact5: 「もし書跡なら「覚え易いけれど長々しかない」ということは事実と異なる」ものはある fact6: 「解離するとしたら「攻守だけど粗くない」ということは誤りな」ものはある fact7: 「「木らしい」ということは事実であるとすれば「のたうつ一方で上げ易くない」ということは誤っている」物はある fact8: 「仮に輸出すれば「「呼び入れるし加えて雄々しい」ということは成り立つ」ということは嘘である」物はある fact9: 「もし仮に「輸出する」ということは成り立つとすると呼び入れるけど雄々しかない」物はある fact10: 「もし仮に御断りするなら「ＡＵＳだがしかし約しない」ということは成り立たない」物はある fact11: その教体は木らしいなら「それはロックするししかも底堅くない」ということは成り立たない fact12: 仮にこの同内閣は改作すれば「初歩であるがしかしのたうつということはない」ということは誤りである fact13: 「仮に「再鑑定する」ということは事実だとしたら「果てし無いしさらにつべたくない」ということは成り立つということはない」ものはある fact14: 「もし戻し易いとすると「ページ毎だがしかし扱い難くない」ということは間違いな」ものはある fact15: もしもなにがしかの物は雄々しいならば「それは歩き辛いがしかし継受しない」ということは嘘だ fact16: 「遣り易いならば「心理分析であるし攻守でない」ということは間違いである」物はある fact17: もし仮にその教体は輸出するとすれば「「それは呼び入れるしかつ雄々しかない」ということは成り立つ」ということは成り立たない fact18: もし仮にその教体は呼び入れるなら「ほろ苦いがムワンザ支部でない」ということは偽だ fact19: もしもその教体は輸出するとすれば「それは呼び入れるけれど雄々しかない」ということは成り立つ
fact17 -> hypothesis;
もしあの患者特性はＯＢ臭いとしたら「それは危うい一方で雄々しかない」ということは成り立つということはない
fact20 -> hypothesis;
$facts$ = fact1: もしその教体は輸出するとすれば「呼び入れるし更に雄々しい」ということは成り立たない fact2: 「勝ち過ぎれば「妥当だ一方で企業家達でない」ということは間違っている」ものはある fact3: もし仮になんらかのものはＯＢ臭いならば「それは危うくておまけに雄々しかない」ということは誤っている fact4: 「もし白黒付けるとすれば「際限無いけどちっこくない」ということは成り立たない」物はある fact5: 「もし書跡なら「覚え易いけれど長々しかない」ということは事実と異なる」ものはある fact6: 「解離するとしたら「攻守だけど粗くない」ということは誤りな」ものはある fact7: 「「木らしい」ということは事実であるとすれば「のたうつ一方で上げ易くない」ということは誤っている」物はある fact8: 「仮に輸出すれば「「呼び入れるし加えて雄々しい」ということは成り立つ」ということは嘘である」物はある fact9: 「もし仮に「輸出する」ということは成り立つとすると呼び入れるけど雄々しかない」物はある fact10: 「もし仮に御断りするなら「ＡＵＳだがしかし約しない」ということは成り立たない」物はある fact11: その教体は木らしいなら「それはロックするししかも底堅くない」ということは成り立たない fact12: 仮にこの同内閣は改作すれば「初歩であるがしかしのたうつということはない」ということは誤りである fact13: 「仮に「再鑑定する」ということは事実だとしたら「果てし無いしさらにつべたくない」ということは成り立つということはない」ものはある fact14: 「もし戻し易いとすると「ページ毎だがしかし扱い難くない」ということは間違いな」ものはある fact15: もしもなにがしかの物は雄々しいならば「それは歩き辛いがしかし継受しない」ということは嘘だ fact16: 「遣り易いならば「心理分析であるし攻守でない」ということは間違いである」物はある fact17: もし仮にその教体は輸出するとすれば「「それは呼び入れるしかつ雄々しかない」ということは成り立つ」ということは成り立たない fact18: もし仮にその教体は呼び入れるなら「ほろ苦いがムワンザ支部でない」ということは偽だ fact19: もしもその教体は輸出するとすれば「それは呼び入れるけれど雄々しかない」ということは成り立つ ; $hypothesis$ = 「輸出すれば「呼び入れるけれど雄々しかない」ということは誤りである」物はある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: もしその教体は輸出するとすれば「呼び入れるし更に雄々しい」ということは成り立たない
事実2: 「勝ち過ぎれば「妥当だ一方で企業家達でない」ということは間違っている」ものはある
事実3: もし仮になんらかのものはＯＢ臭いならば「それは危うくておまけに雄々しかない」ということは誤っている
事実4: 「もし白黒付けるとすれば「際限無いけどちっこくない」ということは成り立たない」物はある
事実5: 「もし書跡なら「覚え易いけれど長々しかない」ということは事実と異なる」ものはある
事実6: 「解離するとしたら「攻守だけど粗くない」ということは誤りな」ものはある
事実7: 「「木らしい」ということは事実であるとすれば「のたうつ一方で上げ易くない」ということは誤っている」物はある
事実8: 「仮に輸出すれば「「呼び入れるし加えて雄々しい」ということは成り立つ」ということは嘘である」物はある
事実9: 「もし仮に「輸出する」ということは成り立つとすると呼び入れるけど雄々しかない」物はある
事実10: 「もし仮に御断りするなら「ＡＵＳだがしかし約しない」ということは成り立たない」物はある
事実11: その教体は木らしいなら「それはロックするししかも底堅くない」ということは成り立たない
事実12: 仮にこの同内閣は改作すれば「初歩であるがしかしのたうつということはない」ということは誤りである
事実13: 「仮に「再鑑定する」ということは事実だとしたら「果てし無いしさらにつべたくない」ということは成り立つということはない」ものはある
事実14: 「もし戻し易いとすると「ページ毎だがしかし扱い難くない」ということは間違いな」ものはある
事実15: もしもなにがしかの物は雄々しいならば「それは歩き辛いがしかし継受しない」ということは嘘だ
事実16: 「遣り易いならば「心理分析であるし攻守でない」ということは間違いである」物はある
事実17: もし仮にその教体は輸出するとすれば「「それは呼び入れるしかつ雄々しかない」ということは成り立つ」ということは成り立たない
事実18: もし仮にその教体は呼び入れるなら「ほろ苦いがムワンザ支部でない」ということは偽だ
事実19: もしもその教体は輸出するとすれば「それは呼び入れるけれど雄々しかない」ということは成り立つ

仮説: 「輸出すれば「呼び入れるけれど雄々しかない」ということは誤りである」物はある
1. 事実17から、仮説が導かれる

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