「もし「羞じらいである」ということは事実であるならば名残惜しくないし興奮し易くない」ものはある
fact1: 「もしも「恥ずかし」ということは本当であるとしたら細長くないがしかし一突きする」物はある fact2: もしあの反応速度定数が十五団体だとすればそれは両極化しなくて止めど無くない fact3: 「仮に羞じらいであるとしたら名残惜しくなくて興奮し易い」物はある fact4: 「もしも羞じらいであるとしたら名残惜しいしさらに興奮し易くない」ものはある fact5: もしあの反応速度定数が羞じらいなら名残惜しくなくて興奮し易くない fact6: 興奮し易い物は不正競争防止法でなくてその上庇わない fact7: 「もしも理屈っぽいとすると変更しなくてそれに装飾する」ものはある fact8: 「もし成立し難いなら遣り難くない」物はある fact9: 「もし「規制出来る」ということは成り立てば崇拝しないし文庫化しない」ものはある fact10: 「もし仮に「羞じらいだ」ということは確かならば興奮し易くない」ものはある fact11: あの反応速度定数が羞じらいであるとすれば正しないしそれは見易い fact12: あの反応速度定数が羞じらいだとすればそれは名残惜しい一方で興奮し易くない fact13: 「もしも箱物ならば海堀洋平・インタビュー記録だけれどげっそりしない」ものはある fact14: 「仮に庇うなら茶色っぽくない」ものはある fact15: 「仮に馴染み深いとすれば「力無くない」ということは成り立つ」ものはある fact16: もしあの反応速度定数が羞じらいならばそれは興奮し易くない fact17: 「仮にカンファレンスであるとしたら日陰者でない一方でひもじい」物はある fact18: 「仮に協調し合うとすれば受け入れ難いということはなくてＰＬ学園である」ものはある fact19: もし「あのクエスチョンズは二十四時間暖房だ」ということは真実ならそれは名残惜しいということはなくてそれにそれは成立し続けない fact20: 「もし退転するとすれば譲り合わない」物はある fact21: 「羞じらいであるなら名残惜しくない」ものはある
fact5 -> hypothesis;
fact5 -> hypothesis;
もしも「このフォーチュン家は興奮し易い」ということは本当だとすると不正競争防止法でないしかつ庇わない
fact22 -> hypothesis;
$facts$ = fact1: 「もしも「恥ずかし」ということは本当であるとしたら細長くないがしかし一突きする」物はある fact2: もしあの反応速度定数が十五団体だとすればそれは両極化しなくて止めど無くない fact3: 「仮に羞じらいであるとしたら名残惜しくなくて興奮し易い」物はある fact4: 「もしも羞じらいであるとしたら名残惜しいしさらに興奮し易くない」ものはある fact5: もしあの反応速度定数が羞じらいなら名残惜しくなくて興奮し易くない fact6: 興奮し易い物は不正競争防止法でなくてその上庇わない fact7: 「もしも理屈っぽいとすると変更しなくてそれに装飾する」ものはある fact8: 「もし成立し難いなら遣り難くない」物はある fact9: 「もし「規制出来る」ということは成り立てば崇拝しないし文庫化しない」ものはある fact10: 「もし仮に「羞じらいだ」ということは確かならば興奮し易くない」ものはある fact11: あの反応速度定数が羞じらいであるとすれば正しないしそれは見易い fact12: あの反応速度定数が羞じらいだとすればそれは名残惜しい一方で興奮し易くない fact13: 「もしも箱物ならば海堀洋平・インタビュー記録だけれどげっそりしない」ものはある fact14: 「仮に庇うなら茶色っぽくない」ものはある fact15: 「仮に馴染み深いとすれば「力無くない」ということは成り立つ」ものはある fact16: もしあの反応速度定数が羞じらいならばそれは興奮し易くない fact17: 「仮にカンファレンスであるとしたら日陰者でない一方でひもじい」物はある fact18: 「仮に協調し合うとすれば受け入れ難いということはなくてＰＬ学園である」ものはある fact19: もし「あのクエスチョンズは二十四時間暖房だ」ということは真実ならそれは名残惜しいということはなくてそれにそれは成立し続けない fact20: 「もし退転するとすれば譲り合わない」物はある fact21: 「羞じらいであるなら名残惜しくない」ものはある ; $hypothesis$ = 「もし「羞じらいである」ということは事実であるならば名残惜しくないし興奮し易くない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もしも「恥ずかし」ということは本当であるとしたら細長くないがしかし一突きする」物はある
事実2: もしあの反応速度定数が十五団体だとすればそれは両極化しなくて止めど無くない
事実3: 「仮に羞じらいであるとしたら名残惜しくなくて興奮し易い」物はある
事実4: 「もしも羞じらいであるとしたら名残惜しいしさらに興奮し易くない」ものはある
事実5: もしあの反応速度定数が羞じらいなら名残惜しくなくて興奮し易くない
事実6: 興奮し易い物は不正競争防止法でなくてその上庇わない
事実7: 「もしも理屈っぽいとすると変更しなくてそれに装飾する」ものはある
事実8: 「もし成立し難いなら遣り難くない」物はある
事実9: 「もし「規制出来る」ということは成り立てば崇拝しないし文庫化しない」ものはある
事実10: 「もし仮に「羞じらいだ」ということは確かならば興奮し易くない」ものはある
事実11: あの反応速度定数が羞じらいであるとすれば正しないしそれは見易い
事実12: あの反応速度定数が羞じらいだとすればそれは名残惜しい一方で興奮し易くない
事実13: 「もしも箱物ならば海堀洋平・インタビュー記録だけれどげっそりしない」ものはある
事実14: 「仮に庇うなら茶色っぽくない」ものはある
事実15: 「仮に馴染み深いとすれば「力無くない」ということは成り立つ」ものはある
事実16: もしあの反応速度定数が羞じらいならばそれは興奮し易くない
事実17: 「仮にカンファレンスであるとしたら日陰者でない一方でひもじい」物はある
事実18: 「仮に協調し合うとすれば受け入れ難いということはなくてＰＬ学園である」ものはある
事実19: もし「あのクエスチョンズは二十四時間暖房だ」ということは真実ならそれは名残惜しいということはなくてそれにそれは成立し続けない
事実20: 「もし退転するとすれば譲り合わない」物はある
事実21: 「羞じらいであるなら名残惜しくない」ものはある

仮説: 「もし「羞じらいである」ということは事実であるならば名残惜しくないし興奮し易くない」ものはある
1. 事実5から、仮説が導かれる

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