「「もしも拡張適用であるということはないが当て付けがましいなら産業報国会でない」ものはある」ということは成り立たない
fact1: 「もしも「仰け反らないし形式基準だ」ということは本当だとすれば短時間な」ものはある fact2: もしも何らかのものは拡張適用でないけれど当て付けがましいとするとそれは産業報国会でない fact3: ある物は鮫でないけど細胞表面ならば用い始めない fact4: 「もし仮に打ち始めるし発進するとすると腐心しない」物はある fact5: 仮にあのセ氏は祟らないけどたわいないとしたらそれは産業報国会だ fact6: もし仮にとあるものが混ぜっ返さないけれどそれが態とらしいならばそれは上がり易い
fact2 -> int1: 仮にあのセ氏が拡張適用でないがしかし当て付けがましいとすれば産業報国会でない; int1 -> hypothesis;
$facts$ = fact1: 「もしも「仰け反らないし形式基準だ」ということは本当だとすれば短時間な」ものはある fact2: もしも何らかのものは拡張適用でないけれど当て付けがましいとするとそれは産業報国会でない fact3: ある物は鮫でないけど細胞表面ならば用い始めない fact4: 「もし仮に打ち始めるし発進するとすると腐心しない」物はある fact5: 仮にあのセ氏は祟らないけどたわいないとしたらそれは産業報国会だ fact6: もし仮にとあるものが混ぜっ返さないけれどそれが態とらしいならばそれは上がり易い ; $hypothesis$ = 「「もしも拡張適用であるということはないが当て付けがましいなら産業報国会でない」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮にあのセ氏が拡張適用でないがしかし当て付けがましいとすれば産業報国会でない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「仰け反らないし形式基準だ」ということは本当だとすれば短時間な」ものはある
事実2: もしも何らかのものは拡張適用でないけれど当て付けがましいとするとそれは産業報国会でない
事実3: ある物は鮫でないけど細胞表面ならば用い始めない
事実4: 「もし仮に打ち始めるし発進するとすると腐心しない」物はある
事実5: 仮にあのセ氏は祟らないけどたわいないとしたらそれは産業報国会だ
事実6: もし仮にとあるものが混ぜっ返さないけれどそれが態とらしいならばそれは上がり易い

仮説: 「「もしも拡張適用であるということはないが当て付けがましいなら産業報国会でない」ものはある」ということは成り立たない
1. 事実2から、推論1: "仮にあのセ氏が拡張適用でないがしかし当て付けがましいとすれば産業報国会でない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。