「この天隙は成り易いかチェック体制である」ということは偽である
fact1: この突起は暴走しない fact2: その査定結果は黄河上流域である fact3: 「あの歳差運動は黄河上流域でないけれど原動だ」ということは誤りである fact4: あの歳差運動は暴走する fact5: この天隙は怖くない fact6: もしその参観日が暴走しないならそれは青くないかあるいは罹患し易いということはないかもしくはどちらもである fact7: 「その参観日は暴走するけれどチェック体制でない」ということは確かでない fact8: もしもその参観日は罹患し易くないとしたら「その査定結果は青い」ということは誤っていない fact9: この天隙がデータ群でないとするとその査定結果は成り易い fact10: その参観日が青くないならその査定結果は青い fact11: 仮になにがしかのものは小賢しくないとすれば「それは成り易いかチェック体制であるかあるいは両方である」ということは成り立つということはない fact12: 「あの歳差運動は怖いということはないけど黄河上流域だ」ということは事実と異なるとするとこの天隙は成り易い fact13: その参観日は暴走しない fact14: もしその査定結果は暴走すれば「その参観日は怖いがしかし青くない」ということは偽である fact15: もし仮に「その電源供給は小賢しくない」ということは嘘でないとすると「あの歳差運動は怖くないがしかしそれは黄河上流域である」ということは間違っている fact16: もしもその電源供給は小賢しいならば「その査定結果はデータ群であるということはなくてしかも原動でない」ということは成り立たない fact17: もし仮にあの歳差運動が黄河上流域でないとしたらこの天隙は黄河上流域だ fact18: 仮に「何かはデータ群でないしその上原動であるということはない」ということは誤りだとしたら青くない fact19: その参観日は怖くないならば「あの歳差運動は暴走しないけれど罹患し易い」ということは誤っている fact20: あの歳差運動は青いなら「その参観日は怖いけどそれは成り易くない」ということは本当でない fact21: 仮にこの天隙が暴走しないとするとそれは成り易くないかそれは小賢しくない
void -> assump1: 以下のように仮定する。その電源供給は小賢しい; fact16 & assump1 -> int1: 「その査定結果はデータ群でないし加えてそれは原動でない」ということは間違いである; fact18 -> int2: 「仮に「その査定結果はデータ群でなくて原動でない」ということは嘘であるとしたらその査定結果は青くない」ということは真実だ; int1 & int2 -> int3: その査定結果は青くない; fact6 & fact13 -> int4: その参観日は青くないかあるいは罹患し易くない; fact10 & int4 & fact8 -> int5: 「その査定結果は青い」ということは正しい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その電源供給は小賢しくない; int7 & fact15 -> int8: 「あの歳差運動は怖くないけど黄河上流域だ」ということは誤りだ; int8 & fact12 -> int9: この天隙は成り易い; int9 -> hypothesis;
「「この天隙は成り易いかそれはチェック体制であるかあるいはどちらもだ」ということは成り立たない」ということは本当だ
fact22 -> int10: もし仮にこの天隙は小賢しくないなら「「それは成り易いかあるいはチェック体制であるかあるいは両方だ」ということは成り立つ」ということは誤っている;
$facts$ = fact1: この突起は暴走しない fact2: その査定結果は黄河上流域である fact3: 「あの歳差運動は黄河上流域でないけれど原動だ」ということは誤りである fact4: あの歳差運動は暴走する fact5: この天隙は怖くない fact6: もしその参観日が暴走しないならそれは青くないかあるいは罹患し易いということはないかもしくはどちらもである fact7: 「その参観日は暴走するけれどチェック体制でない」ということは確かでない fact8: もしもその参観日は罹患し易くないとしたら「その査定結果は青い」ということは誤っていない fact9: この天隙がデータ群でないとするとその査定結果は成り易い fact10: その参観日が青くないならその査定結果は青い fact11: 仮になにがしかのものは小賢しくないとすれば「それは成り易いかチェック体制であるかあるいは両方である」ということは成り立つということはない fact12: 「あの歳差運動は怖いということはないけど黄河上流域だ」ということは事実と異なるとするとこの天隙は成り易い fact13: その参観日は暴走しない fact14: もしその査定結果は暴走すれば「その参観日は怖いがしかし青くない」ということは偽である fact15: もし仮に「その電源供給は小賢しくない」ということは嘘でないとすると「あの歳差運動は怖くないがしかしそれは黄河上流域である」ということは間違っている fact16: もしもその電源供給は小賢しいならば「その査定結果はデータ群であるということはなくてしかも原動でない」ということは成り立たない fact17: もし仮にあの歳差運動が黄河上流域でないとしたらこの天隙は黄河上流域だ fact18: 仮に「何かはデータ群でないしその上原動であるということはない」ということは誤りだとしたら青くない fact19: その参観日は怖くないならば「あの歳差運動は暴走しないけれど罹患し易い」ということは誤っている fact20: あの歳差運動は青いなら「その参観日は怖いけどそれは成り易くない」ということは本当でない fact21: 仮にこの天隙が暴走しないとするとそれは成り易くないかそれは小賢しくない ; $hypothesis$ = 「この天隙は成り易いかチェック体制である」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その電源供給は小賢しい; fact16 & assump1 -> int1: 「その査定結果はデータ群でないし加えてそれは原動でない」ということは間違いである; fact18 -> int2: 「仮に「その査定結果はデータ群でなくて原動でない」ということは嘘であるとしたらその査定結果は青くない」ということは真実だ; int1 & int2 -> int3: その査定結果は青くない; fact6 & fact13 -> int4: その参観日は青くないかあるいは罹患し易くない; fact10 & int4 & fact8 -> int5: 「その査定結果は青い」ということは正しい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その電源供給は小賢しくない; int7 & fact15 -> int8: 「あの歳差運動は怖くないけど黄河上流域だ」ということは誤りだ; int8 & fact12 -> int9: この天隙は成り易い; int9 -> hypothesis; __DISPROVED__
事実1: この突起は暴走しない
事実2: その査定結果は黄河上流域である
事実3: 「あの歳差運動は黄河上流域でないけれど原動だ」ということは誤りである
事実4: あの歳差運動は暴走する
事実5: この天隙は怖くない
事実6: もしその参観日が暴走しないならそれは青くないかあるいは罹患し易いということはないかもしくはどちらもである
事実7: 「その参観日は暴走するけれどチェック体制でない」ということは確かでない
事実8: もしもその参観日は罹患し易くないとしたら「その査定結果は青い」ということは誤っていない
事実9: この天隙がデータ群でないとするとその査定結果は成り易い
事実10: その参観日が青くないならその査定結果は青い
事実11: 仮になにがしかのものは小賢しくないとすれば「それは成り易いかチェック体制であるかあるいは両方である」ということは成り立つということはない
事実12: 「あの歳差運動は怖いということはないけど黄河上流域だ」ということは事実と異なるとするとこの天隙は成り易い
事実13: その参観日は暴走しない
事実14: もしその査定結果は暴走すれば「その参観日は怖いがしかし青くない」ということは偽である
事実15: もし仮に「その電源供給は小賢しくない」ということは嘘でないとすると「あの歳差運動は怖くないがしかしそれは黄河上流域である」ということは間違っている
事実16: もしもその電源供給は小賢しいならば「その査定結果はデータ群であるということはなくてしかも原動でない」ということは成り立たない
事実17: もし仮にあの歳差運動が黄河上流域でないとしたらこの天隙は黄河上流域だ
事実18: 仮に「何かはデータ群でないしその上原動であるということはない」ということは誤りだとしたら青くない
事実19: その参観日は怖くないならば「あの歳差運動は暴走しないけれど罹患し易い」ということは誤っている
事実20: あの歳差運動は青いなら「その参観日は怖いけどそれは成り易くない」ということは本当でない
事実21: 仮にこの天隙が暴走しないとするとそれは成り易くないかそれは小賢しくない

仮説: 「この天隙は成り易いかチェック体制である」ということは偽である
1. 仮定1: 以下のように仮定する。その電源供給は小賢しい
2. 事実16と仮定1から、推論1: "「その査定結果はデータ群でないし加えてそれは原動でない」ということは間違いである"が導かれる
3. 事実18から、推論2: "「仮に「その査定結果はデータ群でなくて原動でない」ということは嘘であるとしたらその査定結果は青くない」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "その査定結果は青くない"が導かれる
5. 事実6と事実13から、推論4: "その参観日は青くないかあるいは罹患し易くない"が導かれる
6. 事実10と推論4と事実8から、推論5: "「その査定結果は青い」ということは正しい"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その電源供給は小賢しくない"が導かれる
9. 推論7と事実15から、推論8: "「あの歳差運動は怖くないけど黄河上流域だ」ということは誤りだ"が導かれる
10. 推論8と事実12から、推論9: "この天隙は成り易い"が導かれる
11. 推論9から、仮説が否定される

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