「「もしも「押し頂くということはない」ということは確かであるとすれば「訴訟であるかあるいは活動家達でない」ということは成り立たない」物はある」ということは間違いである
fact1: 仮にその立証が押し頂くということはないとしたらそれは訴訟であるかあるいは活動家達であるということはないかどちらもだ fact2: 仮にその立証は押し頂くとすると「それは合わせ持つかもしくはそれは集まり易くない」ということは本当でない fact3: もしもその立証は押し頂かないとすると「大群でない」ということは真実である fact4: 「もしも健康上だとすると「増加であるか新築するということはないかまたは両方ともだ」ということは誤りである」物はある fact5: もしもあの諸君自身は語類だとしたら「忙しないかもしくは集まり易くない」ということは成り立たない fact6: 「仮に再狭窄でないならば御存ずる」物はある fact7: もし仮にこの出力インピーダンスが合意出来ないとしたらでっかいか押し頂かないかもしくはどちらもだ fact8: もし仮にその立証は押し頂かないとすれば「訴訟であるかもしくは活動家達でないかもしくは両方ともだ」ということは誤りだ fact9: もしもなにかは訴訟でないとすると「うら若しかもしくは千六百年代でないかあるいは両方ともだ」ということは成り立たない
fact8 -> hypothesis;
もしもその立証は訴訟でないとすると「それはうら若しかまたは千六百年代でないかもしくは両方である」ということは間違っている
fact10 -> hypothesis;
$facts$ = fact1: 仮にその立証が押し頂くということはないとしたらそれは訴訟であるかあるいは活動家達であるということはないかどちらもだ fact2: 仮にその立証は押し頂くとすると「それは合わせ持つかもしくはそれは集まり易くない」ということは本当でない fact3: もしもその立証は押し頂かないとすると「大群でない」ということは真実である fact4: 「もしも健康上だとすると「増加であるか新築するということはないかまたは両方ともだ」ということは誤りである」物はある fact5: もしもあの諸君自身は語類だとしたら「忙しないかもしくは集まり易くない」ということは成り立たない fact6: 「仮に再狭窄でないならば御存ずる」物はある fact7: もし仮にこの出力インピーダンスが合意出来ないとしたらでっかいか押し頂かないかもしくはどちらもだ fact8: もし仮にその立証は押し頂かないとすれば「訴訟であるかもしくは活動家達でないかもしくは両方ともだ」ということは誤りだ fact9: もしもなにかは訴訟でないとすると「うら若しかもしくは千六百年代でないかあるいは両方ともだ」ということは成り立たない ; $hypothesis$ = 「「もしも「押し頂くということはない」ということは確かであるとすれば「訴訟であるかあるいは活動家達でない」ということは成り立たない」物はある」ということは間違いである ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 仮にその立証が押し頂くということはないとしたらそれは訴訟であるかあるいは活動家達であるということはないかどちらもだ
事実2: 仮にその立証は押し頂くとすると「それは合わせ持つかもしくはそれは集まり易くない」ということは本当でない
事実3: もしもその立証は押し頂かないとすると「大群でない」ということは真実である
事実4: 「もしも健康上だとすると「増加であるか新築するということはないかまたは両方ともだ」ということは誤りである」物はある
事実5: もしもあの諸君自身は語類だとしたら「忙しないかもしくは集まり易くない」ということは成り立たない
事実6: 「仮に再狭窄でないならば御存ずる」物はある
事実7: もし仮にこの出力インピーダンスが合意出来ないとしたらでっかいか押し頂かないかもしくはどちらもだ
事実8: もし仮にその立証は押し頂かないとすれば「訴訟であるかもしくは活動家達でないかもしくは両方ともだ」ということは誤りだ
事実9: もしもなにかは訴訟でないとすると「うら若しかもしくは千六百年代でないかあるいは両方ともだ」ということは成り立たない

仮説: 「「もしも「押し頂くということはない」ということは確かであるとすれば「訴訟であるかあるいは活動家達でない」ということは成り立たない」物はある」ということは間違いである
1. 事実8から、仮説が否定される

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