「もしも外し出さないし創建しないならば苦戦するということはない」ものはある
fact1: 仮になんらかのものが外し出さないし創建するということはないならば「苦戦しない」ということは事実だ fact2: もし仮になにがしかのものが思い易くなくておまけにサラリーマン達でないとしたら遊戯療法でない fact3: もし仮になにがしかのものが外し出すということはないが創建するとすれば苦戦しない
fact1 -> int1: 仮に「あの高度成長は外し出さないし創建しない」ということは成り立てばそれは苦戦しない; int1 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
「思い易くないししかもサラリーマン達でないならば遊戯療法でない」物はある
fact4 -> int2: もしもその解禁日は思い易くないししかもサラリーマン達でないとしたらそれは遊戯療法でない; int2 -> hypothesis;
$facts$ = fact1: 仮になんらかのものが外し出さないし創建するということはないならば「苦戦しない」ということは事実だ fact2: もし仮になにがしかのものが思い易くなくておまけにサラリーマン達でないとしたら遊戯療法でない fact3: もし仮になにがしかのものが外し出すということはないが創建するとすれば苦戦しない ; $hypothesis$ = 「もしも外し出さないし創建しないならば苦戦するということはない」ものはある ; $proof$ = 
fact1 -> int1: 仮に「あの高度成長は外し出さないし創建しない」ということは成り立てばそれは苦戦しない; int1 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが外し出さないし創建するということはないならば「苦戦しない」ということは事実だ
事実2: もし仮になにがしかのものが思い易くなくておまけにサラリーマン達でないとしたら遊戯療法でない
事実3: もし仮になにがしかのものが外し出すということはないが創建するとすれば苦戦しない

仮説: 「もしも外し出さないし創建しないならば苦戦するということはない」ものはある
1. 事実1から、推論1: "仮に「あの高度成長は外し出さないし創建しない」ということは成り立てばそれは苦戦しない"が導かれる
2. 推論1から、仮説が導かれる

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