この指定運動療法施設は厚しない
fact1: 「仮に「この適切さは摘める」ということは真実であるならあの本領発揮は軟らかい」ということは真実だ fact2: この長寿社会はヘッジしなくてかつ多項式近似でない fact3: もし仮になにがしかのものは不平不満でないとしたら漢訳するが脱がない fact4: 仮にこの長寿社会が厚しけれど軟らかくないとすればこの指定運動療法施設は厚しない fact5: もし仮に何らかのものが摘めないとすれば厚しが軟らかいということはない fact6: 「あの反政府勢力は軟らかくないけど打ち寄せる」ということは確かでない fact7: 「結合出来なくて妖異達でない」物はある fact8: 「この指定運動療法施設はイセ蝦だしそれに脱ぐ」ということは嘘である fact9: もしも何かはイセ蝦でないとすると「それは摘めないけど静脈注射する」ということは成り立たない fact10: 仮に「なんらかのものはイセ蝦でない一方で脱ぐ」ということは成り立たないとすると厚し fact11: もしもこの長寿社会がヘッジしないしかつそれが多項式近似でないならこの適切さは摘める fact12: もしあの本領発揮が軟らかいとすればこのターミネーターは静脈注射する fact13: もし「結合出来ないしその上妖異達であるということはない」物があるとしたらあの本領発揮は不平不満でない fact14: もし仮に「静脈注射する」物はあるとすれば「この指定運動療法施設はイセ蝦でないけれど脱ぐ」ということは誤っている
fact11 & fact2 -> int1: この適切さは摘める; int1 & fact1 -> int2: あの本領発揮は軟らかい; int2 & fact12 -> int3: このターミネーターは静脈注射する; int3 -> int4: 「静脈注射する」ものはある; int4 & fact14 -> int5: 「この指定運動療法施設はイセ蝦でないけど脱ぐ」ということは事実と異なる; fact10 -> int6: 「この指定運動療法施設はイセ蝦でないけど脱ぐ」ということは成り立たないとすればそれは厚し; int5 & int6 -> hypothesis;
この指定運動療法施設は厚しということはない
fact15 -> int7: もし仮に「この長寿社会は摘めない」ということは成り立つならそれは厚ししおまけに軟らかくない; fact19 -> int8: この適切さはイセ蝦でないとすると「摘めないが静脈注射する」ということは成り立たない; fact17 -> int9: もしあの本領発揮が不平不満でないならば漢訳するしそれは脱がない; fact20 & fact16 -> int10: あの本領発揮は不平不満でない; int9 & int10 -> int11: あの本領発揮は漢訳するがしかしそれは脱がない; int11 -> int12: 「漢訳するし脱がない」物はある;
$facts$ = fact1: 「仮に「この適切さは摘める」ということは真実であるならあの本領発揮は軟らかい」ということは真実だ fact2: この長寿社会はヘッジしなくてかつ多項式近似でない fact3: もし仮になにがしかのものは不平不満でないとしたら漢訳するが脱がない fact4: 仮にこの長寿社会が厚しけれど軟らかくないとすればこの指定運動療法施設は厚しない fact5: もし仮に何らかのものが摘めないとすれば厚しが軟らかいということはない fact6: 「あの反政府勢力は軟らかくないけど打ち寄せる」ということは確かでない fact7: 「結合出来なくて妖異達でない」物はある fact8: 「この指定運動療法施設はイセ蝦だしそれに脱ぐ」ということは嘘である fact9: もしも何かはイセ蝦でないとすると「それは摘めないけど静脈注射する」ということは成り立たない fact10: 仮に「なんらかのものはイセ蝦でない一方で脱ぐ」ということは成り立たないとすると厚し fact11: もしもこの長寿社会がヘッジしないしかつそれが多項式近似でないならこの適切さは摘める fact12: もしあの本領発揮が軟らかいとすればこのターミネーターは静脈注射する fact13: もし「結合出来ないしその上妖異達であるということはない」物があるとしたらあの本領発揮は不平不満でない fact14: もし仮に「静脈注射する」物はあるとすれば「この指定運動療法施設はイセ蝦でないけれど脱ぐ」ということは誤っている ; $hypothesis$ = この指定運動療法施設は厚しない ; $proof$ = 
fact11 & fact2 -> int1: この適切さは摘める; int1 & fact1 -> int2: あの本領発揮は軟らかい; int2 & fact12 -> int3: このターミネーターは静脈注射する; int3 -> int4: 「静脈注射する」ものはある; int4 & fact14 -> int5: 「この指定運動療法施設はイセ蝦でないけど脱ぐ」ということは事実と異なる; fact10 -> int6: 「この指定運動療法施設はイセ蝦でないけど脱ぐ」ということは成り立たないとすればそれは厚し; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 「仮に「この適切さは摘める」ということは真実であるならあの本領発揮は軟らかい」ということは真実だ
事実2: この長寿社会はヘッジしなくてかつ多項式近似でない
事実3: もし仮になにがしかのものは不平不満でないとしたら漢訳するが脱がない
事実4: 仮にこの長寿社会が厚しけれど軟らかくないとすればこの指定運動療法施設は厚しない
事実5: もし仮に何らかのものが摘めないとすれば厚しが軟らかいということはない
事実6: 「あの反政府勢力は軟らかくないけど打ち寄せる」ということは確かでない
事実7: 「結合出来なくて妖異達でない」物はある
事実8: 「この指定運動療法施設はイセ蝦だしそれに脱ぐ」ということは嘘である
事実9: もしも何かはイセ蝦でないとすると「それは摘めないけど静脈注射する」ということは成り立たない
事実10: 仮に「なんらかのものはイセ蝦でない一方で脱ぐ」ということは成り立たないとすると厚し
事実11: もしもこの長寿社会がヘッジしないしかつそれが多項式近似でないならこの適切さは摘める
事実12: もしあの本領発揮が軟らかいとすればこのターミネーターは静脈注射する
事実13: もし「結合出来ないしその上妖異達であるということはない」物があるとしたらあの本領発揮は不平不満でない
事実14: もし仮に「静脈注射する」物はあるとすれば「この指定運動療法施設はイセ蝦でないけれど脱ぐ」ということは誤っている

仮説: この指定運動療法施設は厚しない
1. 事実11と事実2から、推論1: "この適切さは摘める"が導かれる
2. 推論1と事実1から、推論2: "あの本領発揮は軟らかい"が導かれる
3. 推論2と事実12から、推論3: "このターミネーターは静脈注射する"が導かれる
4. 推論3から、推論4: "「静脈注射する」ものはある"が導かれる
5. 推論4と事実14から、推論5: "「この指定運動療法施設はイセ蝦でないけど脱ぐ」ということは事実と異なる"が導かれる
6. 事実10から、推論6: "「この指定運動療法施設はイセ蝦でないけど脱ぐ」ということは成り立たないとすればそれは厚し"が導かれる
7. 推論5と推論6から、仮説が否定される

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