「「もしも経済基盤だとすると下山な」ものはある」ということは誤っている
fact1: もし「「恋愛するしその上与え易い」ということは本当でない」ものがあるならばあのディフェンスラインは理学的所見でない fact2: 「「恋愛するしその上与え易い」ということは本当でない」ものはある fact3: もしも「あるものは理学的所見であるけれど下山でない」ということは成り立たないならばそれは理学的所見でない fact4: もしあの中波放送は理学的所見でないなら「そのディフェンスラインは酒臭くてまたそれは留保する」ということは誤りだ fact5: 仮に「恋愛しない」ものがあるとしたらそのディフェンスラインは理学的所見でない fact6: 「止む無いとしたら化学結合である」物はある fact7: 何かは恋愛するし与え易い fact8: そのディフェンスラインは新株予約権発行時でない fact9: もし仮になんらかの物が理学的所見だということはない一方で経済基盤だとすればそれは下山である
fact2 & fact1 -> int1: そのディフェンスラインは理学的所見でない; void -> assump1: 以下のように仮定する。そのディフェンスラインは経済基盤だ; int1 & assump1 -> int2: そのディフェンスラインは理学的所見でないが経済基盤である; fact9 -> int3: もしもそのディフェンスラインが理学的所見でないけどそれが経済基盤だとしたらそれは下山だ; int2 & int3 -> int4: そのディフェンスラインは下山である; [assump1] & int4 -> int5: もしそのディフェンスラインは経済基盤であるならば下山である; int5 -> hypothesis;
「「酒臭くてかつ留保する」ということは成り立たない」物はある
fact10 -> int6: 仮に「あの中波放送は理学的所見だけど下山でない」ということは成り立たないなら理学的所見でない;
$facts$ = fact1: もし「「恋愛するしその上与え易い」ということは本当でない」ものがあるならばあのディフェンスラインは理学的所見でない fact2: 「「恋愛するしその上与え易い」ということは本当でない」ものはある fact3: もしも「あるものは理学的所見であるけれど下山でない」ということは成り立たないならばそれは理学的所見でない fact4: もしあの中波放送は理学的所見でないなら「そのディフェンスラインは酒臭くてまたそれは留保する」ということは誤りだ fact5: 仮に「恋愛しない」ものがあるとしたらそのディフェンスラインは理学的所見でない fact6: 「止む無いとしたら化学結合である」物はある fact7: 何かは恋愛するし与え易い fact8: そのディフェンスラインは新株予約権発行時でない fact9: もし仮になんらかの物が理学的所見だということはない一方で経済基盤だとすればそれは下山である ; $hypothesis$ = 「「もしも経済基盤だとすると下山な」ものはある」ということは誤っている ; $proof$ = 
fact2 & fact1 -> int1: そのディフェンスラインは理学的所見でない; void -> assump1: 以下のように仮定する。そのディフェンスラインは経済基盤だ; int1 & assump1 -> int2: そのディフェンスラインは理学的所見でないが経済基盤である; fact9 -> int3: もしもそのディフェンスラインが理学的所見でないけどそれが経済基盤だとしたらそれは下山だ; int2 & int3 -> int4: そのディフェンスラインは下山である; [assump1] & int4 -> int5: もしそのディフェンスラインは経済基盤であるならば下山である; int5 -> hypothesis; __DISPROVED__
事実1: もし「「恋愛するしその上与え易い」ということは本当でない」ものがあるならばあのディフェンスラインは理学的所見でない
事実2: 「「恋愛するしその上与え易い」ということは本当でない」ものはある
事実3: もしも「あるものは理学的所見であるけれど下山でない」ということは成り立たないならばそれは理学的所見でない
事実4: もしあの中波放送は理学的所見でないなら「そのディフェンスラインは酒臭くてまたそれは留保する」ということは誤りだ
事実5: 仮に「恋愛しない」ものがあるとしたらそのディフェンスラインは理学的所見でない
事実6: 「止む無いとしたら化学結合である」物はある
事実7: 何かは恋愛するし与え易い
事実8: そのディフェンスラインは新株予約権発行時でない
事実9: もし仮になんらかの物が理学的所見だということはない一方で経済基盤だとすればそれは下山である

仮説: 「「もしも経済基盤だとすると下山な」ものはある」ということは誤っている
1. 事実2と事実1から、推論1: "そのディフェンスラインは理学的所見でない"が導かれる
2. 仮定1: 以下のように仮定する。そのディフェンスラインは経済基盤だ
3. 推論1と仮定1から、推論2: "そのディフェンスラインは理学的所見でないが経済基盤である"が導かれる
4. 事実9から、推論3: "もしもそのディフェンスラインが理学的所見でないけどそれが経済基盤だとしたらそれは下山だ"が導かれる
5. 推論2と推論3から、推論4: "そのディフェンスラインは下山である"が導かれる
6. [仮定1]と推論4から、推論5: "もしそのディフェンスラインは経済基盤であるならば下山である"が導かれる
7. 推論5から、仮説が否定される

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