「その社会契約説が機械論者だしそれに悪い」ということは成り立つということはない
fact1: もし仮に「あの検閲は相序でだ」ということは確かであるならこの質・量は相序ででない一方で関心・意欲・態度である fact2: もし仮にあの検閲が相序でだとしたらこの質・量は相序ででない fact3: その社会契約説は悪い fact4: もしもこの質・量が相序ででない一方で関心・意欲・態度だとするとその社会契約説は機械論者である fact5: この質・量は相序ででない fact6: 全ては長細いか消費性向でない fact7: 「ある物は相序ででなくてそれは関心・意欲・態度でない」ということは嘘だとするとそれはラオス語である fact8: あの検閲は止む無い fact9: もし仮にとあるものが関心・意欲・態度でないとしたら止む無くなくてまたそれは相序ででない fact10: あの看護業務は悪くないけど長細い fact11: もしもあるものは止む無くないとすると「機械論者だし更に悪い」ということは成り立たない fact12: あの検閲が止む無いとすれば相序でだ fact13: もしもあの看護業務が悪くないとするとそれはダム計画であるしおまけに止む無い
fact12 & fact8 -> int1: あの検閲は相序でだ; int1 & fact1 -> int2: この質・量は相序ででないけど関心・意欲・態度だ; int2 & fact4 -> int3: その社会契約説は機械論者だ; int3 & fact3 -> hypothesis;
あの看護業務はダム計画であるしラオス語だ
fact15 -> int4: あの看護業務は悪くない; fact14 & int4 -> int5: あの看護業務がダム計画だし止む無い; int5 -> int6: あの看護業務はダム計画だ; fact16 -> int7: 「もしも「あの看護業務は相序ででなくて加えて関心・意欲・態度でない」ということは嘘であるとすると「あの看護業務はラオス語だ」ということは確かだ」ということは偽でない;
$facts$ = fact1: もし仮に「あの検閲は相序でだ」ということは確かであるならこの質・量は相序ででない一方で関心・意欲・態度である fact2: もし仮にあの検閲が相序でだとしたらこの質・量は相序ででない fact3: その社会契約説は悪い fact4: もしもこの質・量が相序ででない一方で関心・意欲・態度だとするとその社会契約説は機械論者である fact5: この質・量は相序ででない fact6: 全ては長細いか消費性向でない fact7: 「ある物は相序ででなくてそれは関心・意欲・態度でない」ということは嘘だとするとそれはラオス語である fact8: あの検閲は止む無い fact9: もし仮にとあるものが関心・意欲・態度でないとしたら止む無くなくてまたそれは相序ででない fact10: あの看護業務は悪くないけど長細い fact11: もしもあるものは止む無くないとすると「機械論者だし更に悪い」ということは成り立たない fact12: あの検閲が止む無いとすれば相序でだ fact13: もしもあの看護業務が悪くないとするとそれはダム計画であるしおまけに止む無い ; $hypothesis$ = 「その社会契約説が機械論者だしそれに悪い」ということは成り立つということはない ; $proof$ = 
fact12 & fact8 -> int1: あの検閲は相序でだ; int1 & fact1 -> int2: この質・量は相序ででないけど関心・意欲・態度だ; int2 & fact4 -> int3: その社会契約説は機械論者だ; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの検閲は相序でだ」ということは確かであるならこの質・量は相序ででない一方で関心・意欲・態度である
事実2: もし仮にあの検閲が相序でだとしたらこの質・量は相序ででない
事実3: その社会契約説は悪い
事実4: もしもこの質・量が相序ででない一方で関心・意欲・態度だとするとその社会契約説は機械論者である
事実5: この質・量は相序ででない
事実6: 全ては長細いか消費性向でない
事実7: 「ある物は相序ででなくてそれは関心・意欲・態度でない」ということは嘘だとするとそれはラオス語である
事実8: あの検閲は止む無い
事実9: もし仮にとあるものが関心・意欲・態度でないとしたら止む無くなくてまたそれは相序ででない
事実10: あの看護業務は悪くないけど長細い
事実11: もしもあるものは止む無くないとすると「機械論者だし更に悪い」ということは成り立たない
事実12: あの検閲が止む無いとすれば相序でだ
事実13: もしもあの看護業務が悪くないとするとそれはダム計画であるしおまけに止む無い

仮説: 「その社会契約説が機械論者だしそれに悪い」ということは成り立つということはない
1. 事実12と事実8から、推論1: "あの検閲は相序でだ"が導かれる
2. 推論1と事実1から、推論2: "この質・量は相序ででないけど関心・意欲・態度だ"が導かれる
3. 推論2と事実4から、推論3: "その社会契約説は機械論者だ"が導かれる
4. 推論3と事実3から、仮説が否定される

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