そのデータ系列は仕上がる
fact1: 「「戻し易くないけど増補する」ということは成り立たない」物があるとすればそのデータ系列は仕上がるということはない fact2: あの攻殻機動隊が本当らしくないとすればそれは見損なうということはない fact3: もしもとある物はアクセスし易いなら「牽制しないしかつそれは弁済期である」ということは確かだ fact4: 「本当らしい物は封ぜないけど株主名簿閉鎖期間中だ」ということは事実である fact5: あの攻殻機動隊は空洞化するけれどそれは調停しない fact6: もしもある物は見損なわないとすると「それは戻し易くないしその上それは増補する」ということは成り立たない fact7: もし仮に何かは調停しないとすれば「それは封ぜないしそれは株主名簿閉鎖期間中だ」ということは成り立たない
fact4 -> int1: もし仮にあの攻殻機動隊が本当らしいとしたらそれは封ずるということはなくておまけにそれは株主名簿閉鎖期間中だ; void -> assump1: 以下のように仮定する。あの攻殻機動隊は本当らしい; int1 & assump1 -> int2: あの攻殻機動隊は封ぜないが株主名簿閉鎖期間中である; fact5 -> int3: あの攻殻機動隊は調停しない; fact7 -> int4: もしもあの攻殻機動隊は調停しないならば「それは封ぜないしまた株主名簿閉鎖期間中だ」ということは成り立つということはない; int3 & int4 -> int5: 「あの攻殻機動隊は封ぜないがしかし株主名簿閉鎖期間中である」ということは間違いだ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの攻殻機動隊は本当らしくない」ということは間違いでない; int7 & fact2 -> int8: あの攻殻機動隊は見損なわない; fact6 -> int9: あの攻殻機動隊は見損なわないとすれば「戻し易くない一方で増補する」ということは成り立たない; int8 & int9 -> int10: 「あの攻殻機動隊は戻し易くない一方で増補する」ということは成り立たない; int10 -> int11: 「「戻し易くないけれど増補する」ということは成り立たない」物はある; int11 & fact1 -> hypothesis;
仮にこの成算がアクセスし易いならば牽制しなくて弁済期だ
fact8 -> hypothesis;
$facts$ = fact1: 「「戻し易くないけど増補する」ということは成り立たない」物があるとすればそのデータ系列は仕上がるということはない fact2: あの攻殻機動隊が本当らしくないとすればそれは見損なうということはない fact3: もしもとある物はアクセスし易いなら「牽制しないしかつそれは弁済期である」ということは確かだ fact4: 「本当らしい物は封ぜないけど株主名簿閉鎖期間中だ」ということは事実である fact5: あの攻殻機動隊は空洞化するけれどそれは調停しない fact6: もしもある物は見損なわないとすると「それは戻し易くないしその上それは増補する」ということは成り立たない fact7: もし仮に何かは調停しないとすれば「それは封ぜないしそれは株主名簿閉鎖期間中だ」ということは成り立たない ; $hypothesis$ = そのデータ系列は仕上がる ; $proof$ = 
fact4 -> int1: もし仮にあの攻殻機動隊が本当らしいとしたらそれは封ずるということはなくておまけにそれは株主名簿閉鎖期間中だ; void -> assump1: 以下のように仮定する。あの攻殻機動隊は本当らしい; int1 & assump1 -> int2: あの攻殻機動隊は封ぜないが株主名簿閉鎖期間中である; fact5 -> int3: あの攻殻機動隊は調停しない; fact7 -> int4: もしもあの攻殻機動隊は調停しないならば「それは封ぜないしまた株主名簿閉鎖期間中だ」ということは成り立つということはない; int3 & int4 -> int5: 「あの攻殻機動隊は封ぜないがしかし株主名簿閉鎖期間中である」ということは間違いだ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの攻殻機動隊は本当らしくない」ということは間違いでない; int7 & fact2 -> int8: あの攻殻機動隊は見損なわない; fact6 -> int9: あの攻殻機動隊は見損なわないとすれば「戻し易くない一方で増補する」ということは成り立たない; int8 & int9 -> int10: 「あの攻殻機動隊は戻し易くない一方で増補する」ということは成り立たない; int10 -> int11: 「「戻し易くないけれど増補する」ということは成り立たない」物はある; int11 & fact1 -> hypothesis; __DISPROVED__
事実1: 「「戻し易くないけど増補する」ということは成り立たない」物があるとすればそのデータ系列は仕上がるということはない
事実2: あの攻殻機動隊が本当らしくないとすればそれは見損なうということはない
事実3: もしもとある物はアクセスし易いなら「牽制しないしかつそれは弁済期である」ということは確かだ
事実4: 「本当らしい物は封ぜないけど株主名簿閉鎖期間中だ」ということは事実である
事実5: あの攻殻機動隊は空洞化するけれどそれは調停しない
事実6: もしもある物は見損なわないとすると「それは戻し易くないしその上それは増補する」ということは成り立たない
事実7: もし仮に何かは調停しないとすれば「それは封ぜないしそれは株主名簿閉鎖期間中だ」ということは成り立たない

仮説: そのデータ系列は仕上がる
1. 事実4から、推論1: "もし仮にあの攻殻機動隊が本当らしいとしたらそれは封ずるということはなくておまけにそれは株主名簿閉鎖期間中だ"が導かれる
2. 仮定1: 以下のように仮定する。あの攻殻機動隊は本当らしい
3. 推論1と仮定1から、推論2: "あの攻殻機動隊は封ぜないが株主名簿閉鎖期間中である"が導かれる
4. 事実5から、推論3: "あの攻殻機動隊は調停しない"が導かれる
5. 事実7から、推論4: "もしもあの攻殻機動隊は調停しないならば「それは封ぜないしまた株主名簿閉鎖期間中だ」ということは成り立つということはない"が導かれる
6. 推論3と推論4から、推論5: "「あの攻殻機動隊は封ぜないがしかし株主名簿閉鎖期間中である」ということは間違いだ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの攻殻機動隊は本当らしくない」ということは間違いでない"が導かれる
9. 推論7と事実2から、推論8: "あの攻殻機動隊は見損なわない"が導かれる
10. 事実6から、推論9: "あの攻殻機動隊は見損なわないとすれば「戻し易くない一方で増補する」ということは成り立たない"が導かれる
11. 推論8と推論9から、推論10: "「あの攻殻機動隊は戻し易くない一方で増補する」ということは成り立たない"が導かれる
12. 推論10から、推論11: "「「戻し易くないけれど増補する」ということは成り立たない」物はある"が導かれる
13. 推論11と事実1から、仮説が否定される

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