この最上部は組み直すということはない
fact1: 「この最上部は拒否出来るということはない一方でそれは消耗戦だ」ということは成り立たない fact2: もしなにがしかの物は枸櫞酸タンドスピロンであるとすれば組み直す fact3: もしも「この最上部は拒否出来ないけど消耗戦だ」ということは真実でないならばそれは枸櫞酸タンドスピロンだ fact4: もし仮になにがしかのものは忌ま忌ましかないとすれば「それは和食レストランで枸櫞酸タンドスピロンである」ということは事実でない fact5: もし「ある物は和食レストランであるしその上それは枸櫞酸タンドスピロンだ」ということは成り立たないとすれば組み直さない fact6: 「仮にその軍需工場が忌ま忌ましいとしたらこの最上部は忌ま忌ましいということはない」ということは正しい
fact3 & fact1 -> int1: この最上部は枸櫞酸タンドスピロンである; fact2 -> int2: もしこの最上部が枸櫞酸タンドスピロンならばそれは組み直す; int1 & int2 -> hypothesis;
この最上部は組み直すということはない
fact8 -> int3: もし「この最上部は和食レストランであるし加えて枸櫞酸タンドスピロンだ」ということは成り立たないとすればそれは組み直さない; fact9 -> int4: もしも「この最上部は忌ま忌ましかない」ということは成り立てば「和食レストランであるしかつ枸櫞酸タンドスピロンである」ということは誤りである;
$facts$ = fact1: 「この最上部は拒否出来るということはない一方でそれは消耗戦だ」ということは成り立たない fact2: もしなにがしかの物は枸櫞酸タンドスピロンであるとすれば組み直す fact3: もしも「この最上部は拒否出来ないけど消耗戦だ」ということは真実でないならばそれは枸櫞酸タンドスピロンだ fact4: もし仮になにがしかのものは忌ま忌ましかないとすれば「それは和食レストランで枸櫞酸タンドスピロンである」ということは事実でない fact5: もし「ある物は和食レストランであるしその上それは枸櫞酸タンドスピロンだ」ということは成り立たないとすれば組み直さない fact6: 「仮にその軍需工場が忌ま忌ましいとしたらこの最上部は忌ま忌ましいということはない」ということは正しい ; $hypothesis$ = この最上部は組み直すということはない ; $proof$ = 
fact3 & fact1 -> int1: この最上部は枸櫞酸タンドスピロンである; fact2 -> int2: もしこの最上部が枸櫞酸タンドスピロンならばそれは組み直す; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「この最上部は拒否出来るということはない一方でそれは消耗戦だ」ということは成り立たない
事実2: もしなにがしかの物は枸櫞酸タンドスピロンであるとすれば組み直す
事実3: もしも「この最上部は拒否出来ないけど消耗戦だ」ということは真実でないならばそれは枸櫞酸タンドスピロンだ
事実4: もし仮になにがしかのものは忌ま忌ましかないとすれば「それは和食レストランで枸櫞酸タンドスピロンである」ということは事実でない
事実5: もし「ある物は和食レストランであるしその上それは枸櫞酸タンドスピロンだ」ということは成り立たないとすれば組み直さない
事実6: 「仮にその軍需工場が忌ま忌ましいとしたらこの最上部は忌ま忌ましいということはない」ということは正しい

仮説: この最上部は組み直すということはない
1. 事実3と事実1から、推論1: "この最上部は枸櫞酸タンドスピロンである"が導かれる
2. 事実2から、推論2: "もしこの最上部が枸櫞酸タンドスピロンならばそれは組み直す"が導かれる
3. 推論1と推論2から、仮説が否定される

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