あの専門技術は有るらしくない
fact1: 仮に「なんらかのものは聖徒達でない一方でそれは毒々しい」ということは成り立たないとしたら「有るらしい」ということは真実である fact2: 仮に何らかのものが不処罰であるか欠乏しないならば不処罰である fact3: 「「この集団的アイデンティティは有るらしくないけどそれは欠乏する」ということは確かである」ということは誤っている fact4: 「この集団的アイデンティティは不処罰でないか欠乏するかあるいは両方だ」ということは偽だ fact5: もし「なにかは有るらしいがしかし主体的選択でない」ということは間違いだとすると有るらしくない fact6: もしあの専門技術が聖徒達でないが毒々しいならばあのシステム内は主体的選択だということはない fact7: なにがしかの物は成績君である fact8: もし仮に「何らかの物は有害物でないがしかし通じる」ということは成り立たないならそれは通じない fact9: なにがしかのものは救済出来ないとすると「有害物でないけど通じる」ということは偽である fact10: もし仮に「「成績君だ」ということは間違いでない」物があるとしたらあのシステム内は救済出来ない fact11: もし「この集団的アイデンティティは不処罰でないか欠乏するかあるいは両方だ」ということは成り立たないならあのシステム内は主体的選択である fact12: 仮になんらかの物は不処罰であるとすると「それは有るらしいし主体的選択だということはない」ということは嘘だ
void -> assump1: 以下のように仮定する。あの専門技術は聖徒達でないがしかしそれは毒々しい; fact6 & assump1 -> int1: あのシステム内は主体的選択でない; fact11 & fact4 -> int2: あのシステム内は主体的選択だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「あの専門技術は聖徒達でない一方でそれは毒々しい」ということは誤りだ」ということは真実だ; fact1 -> int5: 「あの専門技術は聖徒達でない一方で毒々しい」ということは嘘であるなら「それは有るらしい」ということは偽でない; int4 & int5 -> hypothesis;
あの専門技術は有るらしくない
fact19 -> int6: 「あの専門技術は有るらしいがしかし主体的選択でない」ということは間違いであるとすればそれは有るらしくない; fact14 -> int7: 仮にあの専門技術は不処罰であるとしたら「有るらしいし加えて主体的選択でない」ということは成り立たない; fact18 -> int8: もし仮にあの専門技術は不処罰であるか欠乏するということはないとすると「それは不処罰である」ということは成り立つ; fact13 -> int9: 「あのシステム内は有害物でないけど通じる」ということは嘘であるならば通じるということはない; fact16 -> int10: もしあのシステム内は救済出来ないとすると「有害物でないが通じる」ということは嘘である; fact15 & fact17 -> int11: あのシステム内は救済出来ない; int10 & int11 -> int12: 「あのシステム内は有害物でないけれど通じる」ということは偽である; int9 & int12 -> int13: あのシステム内は通じない; int13 -> int14: 「「通じない」ということは成り立つ」ものはある;
$facts$ = fact1: 仮に「なんらかのものは聖徒達でない一方でそれは毒々しい」ということは成り立たないとしたら「有るらしい」ということは真実である fact2: 仮に何らかのものが不処罰であるか欠乏しないならば不処罰である fact3: 「「この集団的アイデンティティは有るらしくないけどそれは欠乏する」ということは確かである」ということは誤っている fact4: 「この集団的アイデンティティは不処罰でないか欠乏するかあるいは両方だ」ということは偽だ fact5: もし「なにかは有るらしいがしかし主体的選択でない」ということは間違いだとすると有るらしくない fact6: もしあの専門技術が聖徒達でないが毒々しいならばあのシステム内は主体的選択だということはない fact7: なにがしかの物は成績君である fact8: もし仮に「何らかの物は有害物でないがしかし通じる」ということは成り立たないならそれは通じない fact9: なにがしかのものは救済出来ないとすると「有害物でないけど通じる」ということは偽である fact10: もし仮に「「成績君だ」ということは間違いでない」物があるとしたらあのシステム内は救済出来ない fact11: もし「この集団的アイデンティティは不処罰でないか欠乏するかあるいは両方だ」ということは成り立たないならあのシステム内は主体的選択である fact12: 仮になんらかの物は不処罰であるとすると「それは有るらしいし主体的選択だということはない」ということは嘘だ ; $hypothesis$ = あの専門技術は有るらしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの専門技術は聖徒達でないがしかしそれは毒々しい; fact6 & assump1 -> int1: あのシステム内は主体的選択でない; fact11 & fact4 -> int2: あのシステム内は主体的選択だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「あの専門技術は聖徒達でない一方でそれは毒々しい」ということは誤りだ」ということは真実だ; fact1 -> int5: 「あの専門技術は聖徒達でない一方で毒々しい」ということは嘘であるなら「それは有るらしい」ということは偽でない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 仮に「なんらかのものは聖徒達でない一方でそれは毒々しい」ということは成り立たないとしたら「有るらしい」ということは真実である
事実2: 仮に何らかのものが不処罰であるか欠乏しないならば不処罰である
事実3: 「「この集団的アイデンティティは有るらしくないけどそれは欠乏する」ということは確かである」ということは誤っている
事実4: 「この集団的アイデンティティは不処罰でないか欠乏するかあるいは両方だ」ということは偽だ
事実5: もし「なにかは有るらしいがしかし主体的選択でない」ということは間違いだとすると有るらしくない
事実6: もしあの専門技術が聖徒達でないが毒々しいならばあのシステム内は主体的選択だということはない
事実7: なにがしかの物は成績君である
事実8: もし仮に「何らかの物は有害物でないがしかし通じる」ということは成り立たないならそれは通じない
事実9: なにがしかのものは救済出来ないとすると「有害物でないけど通じる」ということは偽である
事実10: もし仮に「「成績君だ」ということは間違いでない」物があるとしたらあのシステム内は救済出来ない
事実11: もし「この集団的アイデンティティは不処罰でないか欠乏するかあるいは両方だ」ということは成り立たないならあのシステム内は主体的選択である
事実12: 仮になんらかの物は不処罰であるとすると「それは有るらしいし主体的選択だということはない」ということは嘘だ

仮説: あの専門技術は有るらしくない
1. 仮定1: 以下のように仮定する。あの専門技術は聖徒達でないがしかしそれは毒々しい
2. 事実6と仮定1から、推論1: "あのシステム内は主体的選択でない"が導かれる
3. 事実11と事実4から、推論2: "あのシステム内は主体的選択だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「あの専門技術は聖徒達でない一方でそれは毒々しい」ということは誤りだ」ということは真実だ"が導かれる
6. 事実1から、推論5: "「あの専門技術は聖徒達でない一方で毒々しい」ということは嘘であるなら「それは有るらしい」ということは偽でない"が導かれる
7. 推論4と推論5から、仮説が否定される

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