あの未来技術は忝くない
fact1: 仮にあの未来技術は侵入し易くて加えて真鯉だとしたらそれは看過し難くない fact2: 「「あの未来技術は樟脳である一方でブラックカードでない」ということは成り立つ」ということは事実と異なる fact3: 仮に看過し難いということはない物が樟脳だということはないなら忝い fact4: その最新機能が実行出来ないがしかし警察権力であるとするとあの未来技術は真鯉だ fact5: その最新機能は警察権力である fact6: もし仮に「なんらかの物は確からしいけれど実行出来るということはない」ということは誤りであるとしたら継続し難い fact7: もしあの点火孔が正しいとしたらあの未来技術は侵入し易い fact8: 仮にあのクラーク像は侵入し易くないならばそれは警察権力であるしかつ真鯉である fact9: 計算規定は忝くない fact10: もし仮に「「あの未来技術は樟脳だがブラックカードでない」ということは本当である」ということは誤っているならそれは樟脳であるということはない fact11: もし仮に確からしくない物が実行出来るなら計算規定だ fact12: その最新機能は確からしい fact13: 仮にある物は計算規定でないかまたは確からしいかもしくは両方ともだとしたら「それは実行出来ない」ということは本当だ fact14: あの点火孔は正しい
fact12 -> int1: その最新機能は計算規定でないかあるいは確からしいかもしくは両方である; fact13 -> int2: 仮にその最新機能が計算規定だということはないかまたはそれが確からしいとすれば実行出来ない; int1 & int2 -> int3: その最新機能は実行出来ない; int3 & fact5 -> int4: その最新機能は実行出来ないがそれは警察権力である; int4 & fact4 -> int5: あの未来技術は真鯉だ; fact14 & fact7 -> int6: あの未来技術は侵入し易い; int5 & int6 -> int7: あの未来技術は侵入し易いししかも真鯉である; int7 & fact1 -> int8: あの未来技術は看過し難くない; fact10 & fact2 -> int9: あの未来技術は樟脳でない; int8 & int9 -> int10: あの未来技術は看過し難くないし樟脳でない; fact3 -> int11: もしもあの未来技術は看過し難くないしかつ樟脳でないとしたら忝い; int10 & int11 -> hypothesis;
あの未来技術は忝くない
fact15 -> int12: もしもあの未来技術が計算規定なら忝いということはない; fact16 -> int13: もしあの未来技術は確からしいということはないが実行出来るならそれは計算規定である;
$facts$ = fact1: 仮にあの未来技術は侵入し易くて加えて真鯉だとしたらそれは看過し難くない fact2: 「「あの未来技術は樟脳である一方でブラックカードでない」ということは成り立つ」ということは事実と異なる fact3: 仮に看過し難いということはない物が樟脳だということはないなら忝い fact4: その最新機能が実行出来ないがしかし警察権力であるとするとあの未来技術は真鯉だ fact5: その最新機能は警察権力である fact6: もし仮に「なんらかの物は確からしいけれど実行出来るということはない」ということは誤りであるとしたら継続し難い fact7: もしあの点火孔が正しいとしたらあの未来技術は侵入し易い fact8: 仮にあのクラーク像は侵入し易くないならばそれは警察権力であるしかつ真鯉である fact9: 計算規定は忝くない fact10: もし仮に「「あの未来技術は樟脳だがブラックカードでない」ということは本当である」ということは誤っているならそれは樟脳であるということはない fact11: もし仮に確からしくない物が実行出来るなら計算規定だ fact12: その最新機能は確からしい fact13: 仮にある物は計算規定でないかまたは確からしいかもしくは両方ともだとしたら「それは実行出来ない」ということは本当だ fact14: あの点火孔は正しい ; $hypothesis$ = あの未来技術は忝くない ; $proof$ = 
fact12 -> int1: その最新機能は計算規定でないかあるいは確からしいかもしくは両方である; fact13 -> int2: 仮にその最新機能が計算規定だということはないかまたはそれが確からしいとすれば実行出来ない; int1 & int2 -> int3: その最新機能は実行出来ない; int3 & fact5 -> int4: その最新機能は実行出来ないがそれは警察権力である; int4 & fact4 -> int5: あの未来技術は真鯉だ; fact14 & fact7 -> int6: あの未来技術は侵入し易い; int5 & int6 -> int7: あの未来技術は侵入し易いししかも真鯉である; int7 & fact1 -> int8: あの未来技術は看過し難くない; fact10 & fact2 -> int9: あの未来技術は樟脳でない; int8 & int9 -> int10: あの未来技術は看過し難くないし樟脳でない; fact3 -> int11: もしもあの未来技術は看過し難くないしかつ樟脳でないとしたら忝い; int10 & int11 -> hypothesis; __DISPROVED__
事実1: 仮にあの未来技術は侵入し易くて加えて真鯉だとしたらそれは看過し難くない
事実2: 「「あの未来技術は樟脳である一方でブラックカードでない」ということは成り立つ」ということは事実と異なる
事実3: 仮に看過し難いということはない物が樟脳だということはないなら忝い
事実4: その最新機能が実行出来ないがしかし警察権力であるとするとあの未来技術は真鯉だ
事実5: その最新機能は警察権力である
事実6: もし仮に「なんらかの物は確からしいけれど実行出来るということはない」ということは誤りであるとしたら継続し難い
事実7: もしあの点火孔が正しいとしたらあの未来技術は侵入し易い
事実8: 仮にあのクラーク像は侵入し易くないならばそれは警察権力であるしかつ真鯉である
事実9: 計算規定は忝くない
事実10: もし仮に「「あの未来技術は樟脳だがブラックカードでない」ということは本当である」ということは誤っているならそれは樟脳であるということはない
事実11: もし仮に確からしくない物が実行出来るなら計算規定だ
事実12: その最新機能は確からしい
事実13: 仮にある物は計算規定でないかまたは確からしいかもしくは両方ともだとしたら「それは実行出来ない」ということは本当だ
事実14: あの点火孔は正しい

仮説: あの未来技術は忝くない
1. 事実12から、推論1: "その最新機能は計算規定でないかあるいは確からしいかもしくは両方である"が導かれる
2. 事実13から、推論2: "仮にその最新機能が計算規定だということはないかまたはそれが確からしいとすれば実行出来ない"が導かれる
3. 推論1と推論2から、推論3: "その最新機能は実行出来ない"が導かれる
4. 推論3と事実5から、推論4: "その最新機能は実行出来ないがそれは警察権力である"が導かれる
5. 推論4と事実4から、推論5: "あの未来技術は真鯉だ"が導かれる
6. 事実14と事実7から、推論6: "あの未来技術は侵入し易い"が導かれる
7. 推論5と推論6から、推論7: "あの未来技術は侵入し易いししかも真鯉である"が導かれる
8. 推論7と事実1から、推論8: "あの未来技術は看過し難くない"が導かれる
9. 事実10と事実2から、推論9: "あの未来技術は樟脳でない"が導かれる
10. 推論8と推論9から、推論10: "あの未来技術は看過し難くないし樟脳でない"が導かれる
11. 事実3から、推論11: "もしもあの未来技術は看過し難くないしかつ樟脳でないとしたら忝い"が導かれる
12. 推論10と推論11から、仮説が否定される

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