「「待ちするかまたは長期固定金利でない」ということは誤っているなら二シグナルモデルでない」物はある
fact1: そのアベンジャーが待ちするかそれは長期固定金利でないかあるいは両方だとすると二シグナルモデルでない fact2: もし仮に「ある物は減額修正するかもしくは著しかない」ということは嘘であるとしたらそれは披裂軟骨でない fact3: もし「とあるものは待ちするか長期固定金利だ」ということは成り立たないとするとそれは二シグナルモデルでない fact4: もしも「なにがしかのものは混合語であるかまたは激変緩和措置でない」ということは成り立たないならばそれは御住まいに成るということはない fact5: 「とある物は急襲であるかそれは古典経済学理論でないか両方だ」ということは誤っているなら「清涼殿だ」ということは誤っている fact6: もし仮に「なんらかのものは待ちするか長期固定金利だということはない」ということは偽であるとすれば二シグナルモデルである fact7: 「もしも「待ちするかもしくは長期固定金利でないか両方ともである」ということは事実でないとしたら二シグナルモデルな」ものはある fact8: もし仮に「何らかのものは待ちするかもしくは長期固定金利でないかもしくはどちらもである」ということは偽であるならば「それは二シグナルモデルでない」ということは成り立つ fact9: 「もし仮に「そのアベンジャーは待ちするか長期固定金利でないかもしくは両方である」ということは誤りだとしたらそのアベンジャーは二シグナルモデルだ」ということは確かである fact10: 仮に「このインフルエンザ桿菌は同好会であるかあるいはそれはシュラスコだということはないか両方である」ということは確かでないとしたらそれは罪刑法定主義であるということはない fact11: 「待ちするかもしくは長期固定金利でないならば二シグナルモデルでない」物はある fact12: 「「観覧するか程無くないかどちらもだ」ということは誤りだとしたら副階でない」物はある fact13: 「仮に「発達するかもしくは小汚くないかあるいは両方ともである」ということは成り立たないとすれば財形年金貯蓄でない」ものはある fact14: 何らかのものが待ちするかまたはそれは長期固定金利でないならば「二シグナルモデルでない」ということは正しい fact15: 「そのアベンジャーは待ちするかそれは長期固定金利であるかどちらもである」ということは間違っているとすると二シグナルモデルでない fact16: もし「この南国調は転訛するかまたは長期固定金利でない」ということは嘘であるとすると練らない fact17: 「「待ちするか長期固定金利であるかあるいは両方である」ということは成り立たないとすると二シグナルモデルでない」ものはある
fact8 -> int1: もしも「そのアベンジャーは待ちするかあるいは長期固定金利でない」ということは事実でないならそれは二シグナルモデルだということはない; int1 -> hypothesis;
$facts$ = fact1: そのアベンジャーが待ちするかそれは長期固定金利でないかあるいは両方だとすると二シグナルモデルでない fact2: もし仮に「ある物は減額修正するかもしくは著しかない」ということは嘘であるとしたらそれは披裂軟骨でない fact3: もし「とあるものは待ちするか長期固定金利だ」ということは成り立たないとするとそれは二シグナルモデルでない fact4: もしも「なにがしかのものは混合語であるかまたは激変緩和措置でない」ということは成り立たないならばそれは御住まいに成るということはない fact5: 「とある物は急襲であるかそれは古典経済学理論でないか両方だ」ということは誤っているなら「清涼殿だ」ということは誤っている fact6: もし仮に「なんらかのものは待ちするか長期固定金利だということはない」ということは偽であるとすれば二シグナルモデルである fact7: 「もしも「待ちするかもしくは長期固定金利でないか両方ともである」ということは事実でないとしたら二シグナルモデルな」ものはある fact8: もし仮に「何らかのものは待ちするかもしくは長期固定金利でないかもしくはどちらもである」ということは偽であるならば「それは二シグナルモデルでない」ということは成り立つ fact9: 「もし仮に「そのアベンジャーは待ちするか長期固定金利でないかもしくは両方である」ということは誤りだとしたらそのアベンジャーは二シグナルモデルだ」ということは確かである fact10: 仮に「このインフルエンザ桿菌は同好会であるかあるいはそれはシュラスコだということはないか両方である」ということは確かでないとしたらそれは罪刑法定主義であるということはない fact11: 「待ちするかもしくは長期固定金利でないならば二シグナルモデルでない」物はある fact12: 「「観覧するか程無くないかどちらもだ」ということは誤りだとしたら副階でない」物はある fact13: 「仮に「発達するかもしくは小汚くないかあるいは両方ともである」ということは成り立たないとすれば財形年金貯蓄でない」ものはある fact14: 何らかのものが待ちするかまたはそれは長期固定金利でないならば「二シグナルモデルでない」ということは正しい fact15: 「そのアベンジャーは待ちするかそれは長期固定金利であるかどちらもである」ということは間違っているとすると二シグナルモデルでない fact16: もし「この南国調は転訛するかまたは長期固定金利でない」ということは嘘であるとすると練らない fact17: 「「待ちするか長期固定金利であるかあるいは両方である」ということは成り立たないとすると二シグナルモデルでない」ものはある ; $hypothesis$ = 「「待ちするかまたは長期固定金利でない」ということは誤っているなら二シグナルモデルでない」物はある ; $proof$ = 
fact8 -> int1: もしも「そのアベンジャーは待ちするかあるいは長期固定金利でない」ということは事実でないならそれは二シグナルモデルだということはない; int1 -> hypothesis; __PROVED__
事実1: そのアベンジャーが待ちするかそれは長期固定金利でないかあるいは両方だとすると二シグナルモデルでない
事実2: もし仮に「ある物は減額修正するかもしくは著しかない」ということは嘘であるとしたらそれは披裂軟骨でない
事実3: もし「とあるものは待ちするか長期固定金利だ」ということは成り立たないとするとそれは二シグナルモデルでない
事実4: もしも「なにがしかのものは混合語であるかまたは激変緩和措置でない」ということは成り立たないならばそれは御住まいに成るということはない
事実5: 「とある物は急襲であるかそれは古典経済学理論でないか両方だ」ということは誤っているなら「清涼殿だ」ということは誤っている
事実6: もし仮に「なんらかのものは待ちするか長期固定金利だということはない」ということは偽であるとすれば二シグナルモデルである
事実7: 「もしも「待ちするかもしくは長期固定金利でないか両方ともである」ということは事実でないとしたら二シグナルモデルな」ものはある
事実8: もし仮に「何らかのものは待ちするかもしくは長期固定金利でないかもしくはどちらもである」ということは偽であるならば「それは二シグナルモデルでない」ということは成り立つ
事実9: 「もし仮に「そのアベンジャーは待ちするか長期固定金利でないかもしくは両方である」ということは誤りだとしたらそのアベンジャーは二シグナルモデルだ」ということは確かである
事実10: 仮に「このインフルエンザ桿菌は同好会であるかあるいはそれはシュラスコだということはないか両方である」ということは確かでないとしたらそれは罪刑法定主義であるということはない
事実11: 「待ちするかもしくは長期固定金利でないならば二シグナルモデルでない」物はある
事実12: 「「観覧するか程無くないかどちらもだ」ということは誤りだとしたら副階でない」物はある
事実13: 「仮に「発達するかもしくは小汚くないかあるいは両方ともである」ということは成り立たないとすれば財形年金貯蓄でない」ものはある
事実14: 何らかのものが待ちするかまたはそれは長期固定金利でないならば「二シグナルモデルでない」ということは正しい
事実15: 「そのアベンジャーは待ちするかそれは長期固定金利であるかどちらもである」ということは間違っているとすると二シグナルモデルでない
事実16: もし「この南国調は転訛するかまたは長期固定金利でない」ということは嘘であるとすると練らない
事実17: 「「待ちするか長期固定金利であるかあるいは両方である」ということは成り立たないとすると二シグナルモデルでない」ものはある

仮説: 「「待ちするかまたは長期固定金利でない」ということは誤っているなら二シグナルモデルでない」物はある
1. 事実8から、推論1: "もしも「そのアベンジャーは待ちするかあるいは長期固定金利でない」ということは事実でないならそれは二シグナルモデルだということはない"が導かれる
2. 推論1から、仮説が導かれる

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