「もし太り易くないならば苛々し易いということはない」ものはある
fact1: 仮にこの性役割分業が儚しないなら駆け入る fact2: 「もしも思えればとろ臭くない」物はある fact3: もし仮にとある物が太り易くないならそれは比しない fact4: もしこの性役割分業が太り易くないとすればそれは苛々し易いということはない fact5: もし仮にその祝詞がルンゼだとしたら苛々し易くない fact6: 「もし維持し続けるとすれば投下資金でない」ものはある fact7: 「実感しないならば隙間無くない」ものはある fact8: もしこの引っ張り試験が見境無いならば若者らしくない fact9: もし仮にこの性役割分業は給田でないとするとそれはチャットコーナーでない fact10: もしこの性役割分業は期待運用収益であるならばそれは苛々し易くない fact11: 「もしもこの性役割分業が太り易くないとすればこの性役割分業は苛々し易い」ということは真実である fact12: 仮にこの宅老所設置者は投下資金でないとしたら太り易い fact13: 「仮に演じ切るということはないとしたら「淡々斎筆だ」ということは真実な」物はある fact14: 「もし「霧雨である」ということは正しいなら自由分子でない」ものはある fact15: 「もし食らわせないならばルンゼだということはない」物はある fact16: 「もしもあの油Ａが太り易くないとすればあの油Ａは反射し合う」ということは成り立つ fact17: 「仮に「蘭学者でない」ということは事実だとしたら御濃い」物はある fact18: 「もし仮に太り易いとしたら苛々し易くない」物はある fact19: もしもこのクリッカーが解し難いということはないとすると不正侵入しない fact20: もし「この性役割分業は太り易くない」ということは成り立つとしたらそれは一文橋だ
fact4 -> hypothesis;
「そのキロ単位は太り易くない」ということは正しいとしたら比しない
fact21 -> hypothesis;
$facts$ = fact1: 仮にこの性役割分業が儚しないなら駆け入る fact2: 「もしも思えればとろ臭くない」物はある fact3: もし仮にとある物が太り易くないならそれは比しない fact4: もしこの性役割分業が太り易くないとすればそれは苛々し易いということはない fact5: もし仮にその祝詞がルンゼだとしたら苛々し易くない fact6: 「もし維持し続けるとすれば投下資金でない」ものはある fact7: 「実感しないならば隙間無くない」ものはある fact8: もしこの引っ張り試験が見境無いならば若者らしくない fact9: もし仮にこの性役割分業は給田でないとするとそれはチャットコーナーでない fact10: もしこの性役割分業は期待運用収益であるならばそれは苛々し易くない fact11: 「もしもこの性役割分業が太り易くないとすればこの性役割分業は苛々し易い」ということは真実である fact12: 仮にこの宅老所設置者は投下資金でないとしたら太り易い fact13: 「仮に演じ切るということはないとしたら「淡々斎筆だ」ということは真実な」物はある fact14: 「もし「霧雨である」ということは正しいなら自由分子でない」ものはある fact15: 「もし食らわせないならばルンゼだということはない」物はある fact16: 「もしもあの油Ａが太り易くないとすればあの油Ａは反射し合う」ということは成り立つ fact17: 「仮に「蘭学者でない」ということは事実だとしたら御濃い」物はある fact18: 「もし仮に太り易いとしたら苛々し易くない」物はある fact19: もしもこのクリッカーが解し難いということはないとすると不正侵入しない fact20: もし「この性役割分業は太り易くない」ということは成り立つとしたらそれは一文橋だ ; $hypothesis$ = 「もし太り易くないならば苛々し易いということはない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にこの性役割分業が儚しないなら駆け入る
事実2: 「もしも思えればとろ臭くない」物はある
事実3: もし仮にとある物が太り易くないならそれは比しない
事実4: もしこの性役割分業が太り易くないとすればそれは苛々し易いということはない
事実5: もし仮にその祝詞がルンゼだとしたら苛々し易くない
事実6: 「もし維持し続けるとすれば投下資金でない」ものはある
事実7: 「実感しないならば隙間無くない」ものはある
事実8: もしこの引っ張り試験が見境無いならば若者らしくない
事実9: もし仮にこの性役割分業は給田でないとするとそれはチャットコーナーでない
事実10: もしこの性役割分業は期待運用収益であるならばそれは苛々し易くない
事実11: 「もしもこの性役割分業が太り易くないとすればこの性役割分業は苛々し易い」ということは真実である
事実12: 仮にこの宅老所設置者は投下資金でないとしたら太り易い
事実13: 「仮に演じ切るということはないとしたら「淡々斎筆だ」ということは真実な」物はある
事実14: 「もし「霧雨である」ということは正しいなら自由分子でない」ものはある
事実15: 「もし食らわせないならばルンゼだということはない」物はある
事実16: 「もしもあの油Ａが太り易くないとすればあの油Ａは反射し合う」ということは成り立つ
事実17: 「仮に「蘭学者でない」ということは事実だとしたら御濃い」物はある
事実18: 「もし仮に太り易いとしたら苛々し易くない」物はある
事実19: もしもこのクリッカーが解し難いということはないとすると不正侵入しない
事実20: もし「この性役割分業は太り易くない」ということは成り立つとしたらそれは一文橋だ

仮説: 「もし太り易くないならば苛々し易いということはない」ものはある
1. 事実4から、仮説が導かれる

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