「もしももどかしくないならば罹患し易くない」ものはある
fact1: もし仮にこの安宿は会社代表者でないならばそれは罹患し易くない fact2: 仮にこの過剰固定が賜わらないならば罹患し易くない fact3: 「仮に青黒くないとすれば蒸し暑くない」ものはある fact4: 「もし仮に心電図異常スコアでないとしたら行政解釈でない」ものはある fact5: もし仮にこの安宿がもどかしくないとすればそれは罹患し易いということはない fact6: 「もしも把握し難くないとすれば自失するということはない」ものはある fact7: 仮に何らかのものは罹患し易いということはないとすると「卑下しない」ということは確かである fact8: 「もしももどかしいとしたら罹患し易くない」ものはある fact9: 「仮に拡大出来ないとすると筒袖でない」物はある fact10: 「もしももどかしくないとすれば罹患し易い」物はある fact11: 仮にこの安宿がペーパーレス化しないとするとそれは罹患し易くない fact12: もしもこの安宿はつべたくないならばそれは国家標準でない fact13: この安宿がもどかしいならばそれは罹患し易くない fact14: もしこの安宿がもどかしくないなら罹患し易い
fact5 -> hypothesis;
fact5 -> hypothesis;
仮にあの人生設計は罹患し易くないとしたら卑下しない
fact15 -> hypothesis;
$facts$ = fact1: もし仮にこの安宿は会社代表者でないならばそれは罹患し易くない fact2: 仮にこの過剰固定が賜わらないならば罹患し易くない fact3: 「仮に青黒くないとすれば蒸し暑くない」ものはある fact4: 「もし仮に心電図異常スコアでないとしたら行政解釈でない」ものはある fact5: もし仮にこの安宿がもどかしくないとすればそれは罹患し易いということはない fact6: 「もしも把握し難くないとすれば自失するということはない」ものはある fact7: 仮に何らかのものは罹患し易いということはないとすると「卑下しない」ということは確かである fact8: 「もしももどかしいとしたら罹患し易くない」ものはある fact9: 「仮に拡大出来ないとすると筒袖でない」物はある fact10: 「もしももどかしくないとすれば罹患し易い」物はある fact11: 仮にこの安宿がペーパーレス化しないとするとそれは罹患し易くない fact12: もしもこの安宿はつべたくないならばそれは国家標準でない fact13: この安宿がもどかしいならばそれは罹患し易くない fact14: もしこの安宿がもどかしくないなら罹患し易い ; $hypothesis$ = 「もしももどかしくないならば罹患し易くない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮にこの安宿は会社代表者でないならばそれは罹患し易くない
事実2: 仮にこの過剰固定が賜わらないならば罹患し易くない
事実3: 「仮に青黒くないとすれば蒸し暑くない」ものはある
事実4: 「もし仮に心電図異常スコアでないとしたら行政解釈でない」ものはある
事実5: もし仮にこの安宿がもどかしくないとすればそれは罹患し易いということはない
事実6: 「もしも把握し難くないとすれば自失するということはない」ものはある
事実7: 仮に何らかのものは罹患し易いということはないとすると「卑下しない」ということは確かである
事実8: 「もしももどかしいとしたら罹患し易くない」ものはある
事実9: 「仮に拡大出来ないとすると筒袖でない」物はある
事実10: 「もしももどかしくないとすれば罹患し易い」物はある
事実11: 仮にこの安宿がペーパーレス化しないとするとそれは罹患し易くない
事実12: もしもこの安宿はつべたくないならばそれは国家標準でない
事実13: この安宿がもどかしいならばそれは罹患し易くない
事実14: もしこの安宿がもどかしくないなら罹患し易い

仮説: 「もしももどかしくないならば罹患し易くない」ものはある
1. 事実5から、仮説が導かれる

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