「あのＴＨＡ中は浮遊しないしそれは移ろい易くない」ということは事実と異なる
fact1: あのＴＨＡ中は浮遊しなくて更に移ろい易くない fact2: もしも「あのＴＨＡ中は軽々しかないしまた助言者でない」ということは成り立たないとするとその錯綜は助言者でない fact3: 仮にあのＴＨＡ中はマスターターゲットでないとしたら「それは軽々しかなくて更に助言者でない」ということは誤りである fact4: このＴＣＰは移ろい易くないしおまけにＳＴ上昇でない fact5: 仮にあの優劣がサポートしないとすれば逃れ難くて更にそれは工業化する fact6: あのＴＨＡ中は睦まじくないしかつ浮遊しない fact7: なにがしかの物が付属するということはないかあるいはそれがサポートしないとするとサポートしない fact8: もしもある物が工業化するなら発達しなくておまけにそれは服用するということはない fact9: もし仮にある物が発達しないし加えて服用するということはないとするとその錯綜は移ろい易いということはない fact10: あの優劣は付属しないかまたはサポートしないかまたは両方ともである fact11: もし何かは服用しないとすると「それは浮遊しなくてまた移ろい易くない」ということは嘘である fact12: この赤パプリカは浮遊しない
fact1 -> hypothesis;
fact1 -> hypothesis;
「あのＴＨＡ中は浮遊するということはないししかもそれは移ろい易くない」ということは成り立つということはない
fact13 -> int1: もしあのＴＨＡ中は服用するということはないならば「浮遊するということはないしまた移ろい易くない」ということは事実と異なる;
$facts$ = fact1: あのＴＨＡ中は浮遊しなくて更に移ろい易くない fact2: もしも「あのＴＨＡ中は軽々しかないしまた助言者でない」ということは成り立たないとするとその錯綜は助言者でない fact3: 仮にあのＴＨＡ中はマスターターゲットでないとしたら「それは軽々しかなくて更に助言者でない」ということは誤りである fact4: このＴＣＰは移ろい易くないしおまけにＳＴ上昇でない fact5: 仮にあの優劣がサポートしないとすれば逃れ難くて更にそれは工業化する fact6: あのＴＨＡ中は睦まじくないしかつ浮遊しない fact7: なにがしかの物が付属するということはないかあるいはそれがサポートしないとするとサポートしない fact8: もしもある物が工業化するなら発達しなくておまけにそれは服用するということはない fact9: もし仮にある物が発達しないし加えて服用するということはないとするとその錯綜は移ろい易いということはない fact10: あの優劣は付属しないかまたはサポートしないかまたは両方ともである fact11: もし何かは服用しないとすると「それは浮遊しなくてまた移ろい易くない」ということは嘘である fact12: この赤パプリカは浮遊しない ; $hypothesis$ = 「あのＴＨＡ中は浮遊しないしそれは移ろい易くない」ということは事実と異なる ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あのＴＨＡ中は浮遊しなくて更に移ろい易くない
事実2: もしも「あのＴＨＡ中は軽々しかないしまた助言者でない」ということは成り立たないとするとその錯綜は助言者でない
事実3: 仮にあのＴＨＡ中はマスターターゲットでないとしたら「それは軽々しかなくて更に助言者でない」ということは誤りである
事実4: このＴＣＰは移ろい易くないしおまけにＳＴ上昇でない
事実5: 仮にあの優劣がサポートしないとすれば逃れ難くて更にそれは工業化する
事実6: あのＴＨＡ中は睦まじくないしかつ浮遊しない
事実7: なにがしかの物が付属するということはないかあるいはそれがサポートしないとするとサポートしない
事実8: もしもある物が工業化するなら発達しなくておまけにそれは服用するということはない
事実9: もし仮にある物が発達しないし加えて服用するということはないとするとその錯綜は移ろい易いということはない
事実10: あの優劣は付属しないかまたはサポートしないかまたは両方ともである
事実11: もし何かは服用しないとすると「それは浮遊しなくてまた移ろい易くない」ということは嘘である
事実12: この赤パプリカは浮遊しない

仮説: 「あのＴＨＡ中は浮遊しないしそれは移ろい易くない」ということは事実と異なる
1. 事実1から、仮説が否定される

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