仮にそのＥＵＳがあやかるとするとその疾患別は発揮し易い
fact1: そのＥＵＳは駆け下る fact2: 仮にその疾患別があやかるとするとそのＥＵＳは駆け下る fact3: 「この十段階は駆け下る」ということは本当だ fact4: そのＥＵＳは回復過程である fact5: その福利厚生制度はあやかる fact6: そのＥＵＳは拒否出来る fact7: もしそのＥＵＳがあやかるとすればあの疾患別は駆け下る fact8: もしもその疾患別が駆け下るとするとそれは発揮し易い fact9: この公衆電話ボックスは駆け下る fact10: 「その疾患別は駆け下る」ということは確かであるとしたら「あやかる」ということは確かだ fact11: この公衆電話ボックスはあやかる fact12: その疾患別があやかるとしたらそのＥＵＳは発揮し易い fact13: その疾患別は足踏み状態である fact14: 仮にそのＥＵＳが発揮し易いならばその疾患別はあやかる fact15: この藁小屋は駆け下る fact16: 仮にそのＥＵＳが駆け下るならその疾患別はあやかる fact17: もしそのＥＵＳがあやかるとすればそれは駆け下る fact18: 「あの事故発生はあやかる」ということは事実だ fact19: あの経済的基礎は駆け下る
void -> assump1: 以下のように仮定する。そのＥＵＳはあやかる; fact7 & assump1 -> int1: その疾患別は駆け下る; int1 & fact8 -> int2: その疾患別は発揮し易い; [assump1] & int2 -> hypothesis;
$facts$ = fact1: そのＥＵＳは駆け下る fact2: 仮にその疾患別があやかるとするとそのＥＵＳは駆け下る fact3: 「この十段階は駆け下る」ということは本当だ fact4: そのＥＵＳは回復過程である fact5: その福利厚生制度はあやかる fact6: そのＥＵＳは拒否出来る fact7: もしそのＥＵＳがあやかるとすればあの疾患別は駆け下る fact8: もしもその疾患別が駆け下るとするとそれは発揮し易い fact9: この公衆電話ボックスは駆け下る fact10: 「その疾患別は駆け下る」ということは確かであるとしたら「あやかる」ということは確かだ fact11: この公衆電話ボックスはあやかる fact12: その疾患別があやかるとしたらそのＥＵＳは発揮し易い fact13: その疾患別は足踏み状態である fact14: 仮にそのＥＵＳが発揮し易いならばその疾患別はあやかる fact15: この藁小屋は駆け下る fact16: 仮にそのＥＵＳが駆け下るならその疾患別はあやかる fact17: もしそのＥＵＳがあやかるとすればそれは駆け下る fact18: 「あの事故発生はあやかる」ということは事実だ fact19: あの経済的基礎は駆け下る ; $hypothesis$ = 仮にそのＥＵＳがあやかるとするとその疾患別は発揮し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＥＵＳはあやかる; fact7 & assump1 -> int1: その疾患別は駆け下る; int1 & fact8 -> int2: その疾患別は発揮し易い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: そのＥＵＳは駆け下る
事実2: 仮にその疾患別があやかるとするとそのＥＵＳは駆け下る
事実3: 「この十段階は駆け下る」ということは本当だ
事実4: そのＥＵＳは回復過程である
事実5: その福利厚生制度はあやかる
事実6: そのＥＵＳは拒否出来る
事実7: もしそのＥＵＳがあやかるとすればあの疾患別は駆け下る
事実8: もしもその疾患別が駆け下るとするとそれは発揮し易い
事実9: この公衆電話ボックスは駆け下る
事実10: 「その疾患別は駆け下る」ということは確かであるとしたら「あやかる」ということは確かだ
事実11: この公衆電話ボックスはあやかる
事実12: その疾患別があやかるとしたらそのＥＵＳは発揮し易い
事実13: その疾患別は足踏み状態である
事実14: 仮にそのＥＵＳが発揮し易いならばその疾患別はあやかる
事実15: この藁小屋は駆け下る
事実16: 仮にそのＥＵＳが駆け下るならその疾患別はあやかる
事実17: もしそのＥＵＳがあやかるとすればそれは駆け下る
事実18: 「あの事故発生はあやかる」ということは事実だ
事実19: あの経済的基礎は駆け下る

仮説: 仮にそのＥＵＳがあやかるとするとその疾患別は発揮し易い
1. 仮定1: 以下のように仮定する。そのＥＵＳはあやかる
2. 事実7と仮定1から、推論1: "その疾患別は駆け下る"が導かれる
3. 推論1と事実8から、推論2: "その疾患別は発揮し易い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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