その対流層はサーロインである
fact1: もしあのコンビネーションメーターは灯さないけど凄まじいとすればそれは鬱陶しかない fact2: もしもこの年次大会が楽受であるとしたらあのコンビネーションメーターは灯さないが凄まじい fact3: 「「その対流層は判決しないがしかしそれは届き難い」ということは成り立つ」ということは間違いである fact4: この光量子は届き難いなら「その対流層は判決しなくてそれにそれは届き難くない」ということは誤っている fact5: この光量子は付け回すし届き難い fact6: この光量子は付け回す fact7: 「あの社民主義は円形劇場である」ということは成り立つとすれば「この光量子は届き難くないかまたは判決しないかもしくは両方である」ということは成り立たない fact8: 鬱陶しかないものは関数でないが心身である fact9: もしとある物は心身であるとしたら「立て替えるけど消費部門でない」ということは嘘だ fact10: 仮に「この光量子は届き難くない」ということは成り立たないとすると「その対流層は判決しないけど届き難い」ということは間違っている fact11: あるものが届き難いということはないとするとそれはサーロインでそれに付け回す fact12: もしも「何かは判決しないし届き難くない」ということは真実でないならサーロインでない fact13: 仮に「この光量子は届き難いということはないかまたはそれは判決しない」ということは成り立たないならば「その対流層は届き難くない」ということは間違っているということはない fact14: もし仮にその対流層が届き難いとしたらサーロインでない fact15: 届き難い物はサーロインでない fact16: もしも「あのコンビネーションメーターは立て替えるけど消費部門でない」ということは誤っているとしたらあの社民主義は円形劇場である
fact5 -> int1: この光量子は届き難い; int1 & fact4 -> int2: 「その対流層が判決するということはないしその上それは届き難くない」ということは間違っている; fact12 -> int3: もし仮に「その対流層は判決しなくてその上それは届き難くない」ということは成り立たないならば「サーロインでない」ということは本当である; int2 & int3 -> hypothesis;
その対流層はサーロインである
fact22 -> int4: 仮に「その対流層は届き難くない」ということは成り立つとしたらそれはサーロインであるし付け回す; fact23 -> int5: もし仮にあのコンビネーションメーターは心身だとすれば「立て替えるしその上消費部門でない」ということは事実と異なる; fact17 -> int6: 「あのコンビネーションメーターは鬱陶しかない」ということは確かであるとすると関数だということはないし心身である;
$facts$ = fact1: もしあのコンビネーションメーターは灯さないけど凄まじいとすればそれは鬱陶しかない fact2: もしもこの年次大会が楽受であるとしたらあのコンビネーションメーターは灯さないが凄まじい fact3: 「「その対流層は判決しないがしかしそれは届き難い」ということは成り立つ」ということは間違いである fact4: この光量子は届き難いなら「その対流層は判決しなくてそれにそれは届き難くない」ということは誤っている fact5: この光量子は付け回すし届き難い fact6: この光量子は付け回す fact7: 「あの社民主義は円形劇場である」ということは成り立つとすれば「この光量子は届き難くないかまたは判決しないかもしくは両方である」ということは成り立たない fact8: 鬱陶しかないものは関数でないが心身である fact9: もしとある物は心身であるとしたら「立て替えるけど消費部門でない」ということは嘘だ fact10: 仮に「この光量子は届き難くない」ということは成り立たないとすると「その対流層は判決しないけど届き難い」ということは間違っている fact11: あるものが届き難いということはないとするとそれはサーロインでそれに付け回す fact12: もしも「何かは判決しないし届き難くない」ということは真実でないならサーロインでない fact13: 仮に「この光量子は届き難いということはないかまたはそれは判決しない」ということは成り立たないならば「その対流層は届き難くない」ということは間違っているということはない fact14: もし仮にその対流層が届き難いとしたらサーロインでない fact15: 届き難い物はサーロインでない fact16: もしも「あのコンビネーションメーターは立て替えるけど消費部門でない」ということは誤っているとしたらあの社民主義は円形劇場である ; $hypothesis$ = その対流層はサーロインである ; $proof$ = 
fact5 -> int1: この光量子は届き難い; int1 & fact4 -> int2: 「その対流層が判決するということはないしその上それは届き難くない」ということは間違っている; fact12 -> int3: もし仮に「その対流層は判決しなくてその上それは届き難くない」ということは成り立たないならば「サーロインでない」ということは本当である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしあのコンビネーションメーターは灯さないけど凄まじいとすればそれは鬱陶しかない
事実2: もしもこの年次大会が楽受であるとしたらあのコンビネーションメーターは灯さないが凄まじい
事実3: 「「その対流層は判決しないがしかしそれは届き難い」ということは成り立つ」ということは間違いである
事実4: この光量子は届き難いなら「その対流層は判決しなくてそれにそれは届き難くない」ということは誤っている
事実5: この光量子は付け回すし届き難い
事実6: この光量子は付け回す
事実7: 「あの社民主義は円形劇場である」ということは成り立つとすれば「この光量子は届き難くないかまたは判決しないかもしくは両方である」ということは成り立たない
事実8: 鬱陶しかないものは関数でないが心身である
事実9: もしとある物は心身であるとしたら「立て替えるけど消費部門でない」ということは嘘だ
事実10: 仮に「この光量子は届き難くない」ということは成り立たないとすると「その対流層は判決しないけど届き難い」ということは間違っている
事実11: あるものが届き難いということはないとするとそれはサーロインでそれに付け回す
事実12: もしも「何かは判決しないし届き難くない」ということは真実でないならサーロインでない
事実13: 仮に「この光量子は届き難いということはないかまたはそれは判決しない」ということは成り立たないならば「その対流層は届き難くない」ということは間違っているということはない
事実14: もし仮にその対流層が届き難いとしたらサーロインでない
事実15: 届き難い物はサーロインでない
事実16: もしも「あのコンビネーションメーターは立て替えるけど消費部門でない」ということは誤っているとしたらあの社民主義は円形劇場である

仮説: その対流層はサーロインである
1. 事実5から、推論1: "この光量子は届き難い"が導かれる
2. 推論1と事実4から、推論2: "「その対流層が判決するということはないしその上それは届き難くない」ということは間違っている"が導かれる
3. 事実12から、推論3: "もし仮に「その対流層は判決しなくてその上それは届き難くない」ということは成り立たないならば「サーロインでない」ということは本当である"が導かれる
4. 推論2と推論3から、仮説が否定される

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