その法律専門家は吊り上がらない
fact1: 仮に何かは世界言語でないとすれば女流作家でないかもしくはそれは常食する fact2: その法律専門家は吊り上がるかあるいは常食しないか両方ともだ fact3: このたもは女流作家だ fact4: そのＤＰＴ細胞は世界言語であるかあるいはそれは常食しないかあるいは両方である fact5: もし仮に「なにがしかの物は掻き回すけれど借らない」ということは成り立たないとしたらそれは汚らわしくない fact6: 仮に何らかの物が女流作家だとしたらそれは常食しないしおまけにそれは世界言語である fact7: その法律専門家は汚らわしくないなら「それは現人神でないしさらにそれは吊り上がる」ということは間違っている fact8: もしもそのＤＰＴ細胞が常食しないとすればその設備計画は女流作家である fact9: そのＤＰＴ細胞は世界言語だとしたら「その設備計画は女流作家である」ということは真実だ fact10: もしもその設備計画が女流作家だとするとその法律専門家は吊り上がる fact11: 「汚らわしくないものは現人神でないけど女流作家だ」ということは成り立つ fact12: その法律専門家は常食するかまたは吊り上がらない fact13: この菜・リーグは諏訪神社であるかもしくは差せるということはないかまたは両方ともである fact14: もし「その設備計画は現人神でないが女流作家である」ということは事実であるとするとそのＤＰＴ細胞は女流作家だ fact15: もし仮に「あの川辺川ダムはすこいけど痛ましくない」ということは成り立たないとすればその設備計画はすこい fact16: そのＤＰＴ細胞が常食するということはないけど世界言語であるとすればその法律専門家は吊り上がらない fact17: 仮にあのシルバーハウジング・プロジェクトは使用し易いならば「あの川辺川ダムはすこいけれどそれは痛ましくない」ということは成り立つということはない fact18: もし仮にその設備計画が常食すればそのＤＰＴ細胞は女流作家である fact19: もし仮にそのＤＰＴ細胞が吊り上がるならばあの法律専門家は常食する fact20: 仮にその設備計画が世界言語でないとしたらそのＤＰＴ細胞は女流作家だ fact21: 仮になにがしかのものはすこいならば「掻き回すが借らない」ということは成り立たない fact22: 仮にこの菜・リーグが諏訪神社であるかあるいはそれは差せらないかあるいはどちらもであるならばそれは実質負担しない fact23: 何かは常食しないけれど世界言語だとするとそれは吊り上がらない
fact4 & fact9 & fact8 -> int1: その設備計画は女流作家である; int1 & fact10 -> hypothesis;
その法律専門家は吊り上がらない
fact24 -> int2: もしそのＤＰＴ細胞が女流作家であるならば常食しなくてしかもそれは世界言語だ; fact31 -> int3: もし「その設備計画は汚らわしいということはない」ということは真実であるならば現人神でないがしかし女流作家である; fact32 -> int4: 仮に「その設備計画は掻き回すがしかし借らない」ということは成り立たないとすると「それは汚らわしくない」ということは本当だ; fact30 -> int5: もしもその設備計画はすこいとすると「掻き回す一方で借らない」ということは誤りである; fact33 & fact26 -> int6: この菜・リーグは実質負担しない; int6 -> int7: 何かは実質負担しない;
$facts$ = fact1: 仮に何かは世界言語でないとすれば女流作家でないかもしくはそれは常食する fact2: その法律専門家は吊り上がるかあるいは常食しないか両方ともだ fact3: このたもは女流作家だ fact4: そのＤＰＴ細胞は世界言語であるかあるいはそれは常食しないかあるいは両方である fact5: もし仮に「なにがしかの物は掻き回すけれど借らない」ということは成り立たないとしたらそれは汚らわしくない fact6: 仮に何らかの物が女流作家だとしたらそれは常食しないしおまけにそれは世界言語である fact7: その法律専門家は汚らわしくないなら「それは現人神でないしさらにそれは吊り上がる」ということは間違っている fact8: もしもそのＤＰＴ細胞が常食しないとすればその設備計画は女流作家である fact9: そのＤＰＴ細胞は世界言語だとしたら「その設備計画は女流作家である」ということは真実だ fact10: もしもその設備計画が女流作家だとするとその法律専門家は吊り上がる fact11: 「汚らわしくないものは現人神でないけど女流作家だ」ということは成り立つ fact12: その法律専門家は常食するかまたは吊り上がらない fact13: この菜・リーグは諏訪神社であるかもしくは差せるということはないかまたは両方ともである fact14: もし「その設備計画は現人神でないが女流作家である」ということは事実であるとするとそのＤＰＴ細胞は女流作家だ fact15: もし仮に「あの川辺川ダムはすこいけど痛ましくない」ということは成り立たないとすればその設備計画はすこい fact16: そのＤＰＴ細胞が常食するということはないけど世界言語であるとすればその法律専門家は吊り上がらない fact17: 仮にあのシルバーハウジング・プロジェクトは使用し易いならば「あの川辺川ダムはすこいけれどそれは痛ましくない」ということは成り立つということはない fact18: もし仮にその設備計画が常食すればそのＤＰＴ細胞は女流作家である fact19: もし仮にそのＤＰＴ細胞が吊り上がるならばあの法律専門家は常食する fact20: 仮にその設備計画が世界言語でないとしたらそのＤＰＴ細胞は女流作家だ fact21: 仮になにがしかのものはすこいならば「掻き回すが借らない」ということは成り立たない fact22: 仮にこの菜・リーグが諏訪神社であるかあるいはそれは差せらないかあるいはどちらもであるならばそれは実質負担しない fact23: 何かは常食しないけれど世界言語だとするとそれは吊り上がらない ; $hypothesis$ = その法律専門家は吊り上がらない ; $proof$ = 
fact4 & fact9 & fact8 -> int1: その設備計画は女流作家である; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮に何かは世界言語でないとすれば女流作家でないかもしくはそれは常食する
事実2: その法律専門家は吊り上がるかあるいは常食しないか両方ともだ
事実3: このたもは女流作家だ
事実4: そのＤＰＴ細胞は世界言語であるかあるいはそれは常食しないかあるいは両方である
事実5: もし仮に「なにがしかの物は掻き回すけれど借らない」ということは成り立たないとしたらそれは汚らわしくない
事実6: 仮に何らかの物が女流作家だとしたらそれは常食しないしおまけにそれは世界言語である
事実7: その法律専門家は汚らわしくないなら「それは現人神でないしさらにそれは吊り上がる」ということは間違っている
事実8: もしもそのＤＰＴ細胞が常食しないとすればその設備計画は女流作家である
事実9: そのＤＰＴ細胞は世界言語だとしたら「その設備計画は女流作家である」ということは真実だ
事実10: もしもその設備計画が女流作家だとするとその法律専門家は吊り上がる
事実11: 「汚らわしくないものは現人神でないけど女流作家だ」ということは成り立つ
事実12: その法律専門家は常食するかまたは吊り上がらない
事実13: この菜・リーグは諏訪神社であるかもしくは差せるということはないかまたは両方ともである
事実14: もし「その設備計画は現人神でないが女流作家である」ということは事実であるとするとそのＤＰＴ細胞は女流作家だ
事実15: もし仮に「あの川辺川ダムはすこいけど痛ましくない」ということは成り立たないとすればその設備計画はすこい
事実16: そのＤＰＴ細胞が常食するということはないけど世界言語であるとすればその法律専門家は吊り上がらない
事実17: 仮にあのシルバーハウジング・プロジェクトは使用し易いならば「あの川辺川ダムはすこいけれどそれは痛ましくない」ということは成り立つということはない
事実18: もし仮にその設備計画が常食すればそのＤＰＴ細胞は女流作家である
事実19: もし仮にそのＤＰＴ細胞が吊り上がるならばあの法律専門家は常食する
事実20: 仮にその設備計画が世界言語でないとしたらそのＤＰＴ細胞は女流作家だ
事実21: 仮になにがしかのものはすこいならば「掻き回すが借らない」ということは成り立たない
事実22: 仮にこの菜・リーグが諏訪神社であるかあるいはそれは差せらないかあるいはどちらもであるならばそれは実質負担しない
事実23: 何かは常食しないけれど世界言語だとするとそれは吊り上がらない

仮説: その法律専門家は吊り上がらない
1. 事実4と事実9と事実8から、推論1: "その設備計画は女流作家である"が導かれる
2. 推論1と事実10から、仮説が否定される

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