「あの景観形成は素早くない」ということは正しい
fact1: 全ては北半球でなくてそれにそれは腕立てであるということはない fact2: 仮にこの計算問題が所狭しけれど北半球だということはないならあの景観形成は北半球であるということはない fact3: すべての物は取り引き報告書でない fact4: もし仮に何らかの物は北半球でないとすると腕立てであるということはないか花粉塊であるかあるいは両方ともだ fact5: 「ある物は素早いがしかし腕立てでない」ということは確かでないとすれば「それは素早くない」ということは正しい fact6: この計算問題は取り引き報告書でないならば「それは所狭しけれど素早くない」ということは間違いだ fact7: 仮に何らかのものが所狭しなら素早い fact8: 「北半球だということはなくてまた腕立てでない」物はあるなら「この計算問題は花粉塊である」ということは本当だ fact9: 仮にこの計算問題が花粉塊だとしたらあの景観形成は所狭し
fact1 -> int1: あの光線路試験システムは北半球でないししかも腕立てでない; int1 -> int2: 「北半球でないしそれに腕立てでない」物はある; int2 & fact8 -> int3: この計算問題は花粉塊だ; int3 & fact9 -> int4: あの景観形成は所狭し; fact7 -> int5: もしもあの景観形成が所狭しならそれは素早い; int4 & int5 -> hypothesis;
あの景観形成は素早くない
fact10 -> int6: 「あの景観形成は素早いが腕立てであるということはない」ということは偽だとすると素早いということはない;
$facts$ = fact1: 全ては北半球でなくてそれにそれは腕立てであるということはない fact2: 仮にこの計算問題が所狭しけれど北半球だということはないならあの景観形成は北半球であるということはない fact3: すべての物は取り引き報告書でない fact4: もし仮に何らかの物は北半球でないとすると腕立てであるということはないか花粉塊であるかあるいは両方ともだ fact5: 「ある物は素早いがしかし腕立てでない」ということは確かでないとすれば「それは素早くない」ということは正しい fact6: この計算問題は取り引き報告書でないならば「それは所狭しけれど素早くない」ということは間違いだ fact7: 仮に何らかのものが所狭しなら素早い fact8: 「北半球だということはなくてまた腕立てでない」物はあるなら「この計算問題は花粉塊である」ということは本当だ fact9: 仮にこの計算問題が花粉塊だとしたらあの景観形成は所狭し ; $hypothesis$ = 「あの景観形成は素早くない」ということは正しい ; $proof$ = 
fact1 -> int1: あの光線路試験システムは北半球でないししかも腕立てでない; int1 -> int2: 「北半球でないしそれに腕立てでない」物はある; int2 & fact8 -> int3: この計算問題は花粉塊だ; int3 & fact9 -> int4: あの景観形成は所狭し; fact7 -> int5: もしもあの景観形成が所狭しならそれは素早い; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 全ては北半球でなくてそれにそれは腕立てであるということはない
事実2: 仮にこの計算問題が所狭しけれど北半球だということはないならあの景観形成は北半球であるということはない
事実3: すべての物は取り引き報告書でない
事実4: もし仮に何らかの物は北半球でないとすると腕立てであるということはないか花粉塊であるかあるいは両方ともだ
事実5: 「ある物は素早いがしかし腕立てでない」ということは確かでないとすれば「それは素早くない」ということは正しい
事実6: この計算問題は取り引き報告書でないならば「それは所狭しけれど素早くない」ということは間違いだ
事実7: 仮に何らかのものが所狭しなら素早い
事実8: 「北半球だということはなくてまた腕立てでない」物はあるなら「この計算問題は花粉塊である」ということは本当だ
事実9: 仮にこの計算問題が花粉塊だとしたらあの景観形成は所狭し

仮説: 「あの景観形成は素早くない」ということは正しい
1. 事実1から、推論1: "あの光線路試験システムは北半球でないししかも腕立てでない"が導かれる
2. 推論1から、推論2: "「北半球でないしそれに腕立てでない」物はある"が導かれる
3. 推論2と事実8から、推論3: "この計算問題は花粉塊だ"が導かれる
4. 推論3と事実9から、推論4: "あの景観形成は所狭し"が導かれる
5. 事実7から、推論5: "もしもあの景観形成が所狭しならそれは素早い"が導かれる
6. 推論4と推論5から、仮説が否定される

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