あのトゥルネンは豹変しないが業務改善度だ
fact1: あのトゥルネンは豹変しない fact2: この量子状態は零零零人でない fact3: 仮に「あの一部改変はピーナツでない」ということは本当なら「この量子状態は零零零人である」ということは成り立つ fact4: 仮にあのトゥルネンが豹変するしそれにそれは業務改善度だとすると「それは尤もらしくない」ということは成り立つ fact5: もし仮にあの空間的位置は三割強でないならば「その連合反応は甚だしない」ということは成り立たない fact6: 「あのトゥルネンは豹変するし加えて業務改善度である」ということは成り立たない fact7: 仮にその連合反応が甚だしかあるいはそれは喜ばしいかどちらもであるとすれば「あの一部改変はピーナツでない」ということは事実である fact8: もし「あの空間的位置は三割強だけど個人再生委員でない」ということは誤っているならばあの連合反応は甚だし fact9: 仮にあのトゥルネンは尤もらしくないなら「「あの空間的位置は三割強であるけど個人再生委員でない」ということは成り立つ」ということは成り立たない fact10: もしもあのトゥルネンが豹変しない一方で業務改善度だとするとそれは尤もらしくない fact11: もしもその連合反応が喜ばしいとすればあの一部改変はピーナツでない
void -> assump1: 以下のように仮定する。あのトゥルネンは豹変しない一方でそれは業務改善度だ; fact10 & assump1 -> int1: あのトゥルネンは尤もらしくない; int1 & fact9 -> int2: 「あの空間的位置は三割強だ一方でそれは個人再生委員でない」ということは間違いである; int2 & fact8 -> int3: その連合反応は甚だし; int3 -> int4: その連合反応は甚だしかあるいはそれは喜ばしいかもしくはどちらもだ; int4 & fact7 -> int5: あの一部改変はピーナツでない; int5 & fact3 -> int6: この量子状態は零零零人である; int6 & fact2 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
$facts$ = fact1: あのトゥルネンは豹変しない fact2: この量子状態は零零零人でない fact3: 仮に「あの一部改変はピーナツでない」ということは本当なら「この量子状態は零零零人である」ということは成り立つ fact4: 仮にあのトゥルネンが豹変するしそれにそれは業務改善度だとすると「それは尤もらしくない」ということは成り立つ fact5: もし仮にあの空間的位置は三割強でないならば「その連合反応は甚だしない」ということは成り立たない fact6: 「あのトゥルネンは豹変するし加えて業務改善度である」ということは成り立たない fact7: 仮にその連合反応が甚だしかあるいはそれは喜ばしいかどちらもであるとすれば「あの一部改変はピーナツでない」ということは事実である fact8: もし「あの空間的位置は三割強だけど個人再生委員でない」ということは誤っているならばあの連合反応は甚だし fact9: 仮にあのトゥルネンは尤もらしくないなら「「あの空間的位置は三割強であるけど個人再生委員でない」ということは成り立つ」ということは成り立たない fact10: もしもあのトゥルネンが豹変しない一方で業務改善度だとするとそれは尤もらしくない fact11: もしもその連合反応が喜ばしいとすればあの一部改変はピーナツでない ; $hypothesis$ = あのトゥルネンは豹変しないが業務改善度だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのトゥルネンは豹変しない一方でそれは業務改善度だ; fact10 & assump1 -> int1: あのトゥルネンは尤もらしくない; int1 & fact9 -> int2: 「あの空間的位置は三割強だ一方でそれは個人再生委員でない」ということは間違いである; int2 & fact8 -> int3: その連合反応は甚だし; int3 -> int4: その連合反応は甚だしかあるいはそれは喜ばしいかもしくはどちらもだ; int4 & fact7 -> int5: あの一部改変はピーナツでない; int5 & fact3 -> int6: この量子状態は零零零人である; int6 & fact2 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: あのトゥルネンは豹変しない
事実2: この量子状態は零零零人でない
事実3: 仮に「あの一部改変はピーナツでない」ということは本当なら「この量子状態は零零零人である」ということは成り立つ
事実4: 仮にあのトゥルネンが豹変するしそれにそれは業務改善度だとすると「それは尤もらしくない」ということは成り立つ
事実5: もし仮にあの空間的位置は三割強でないならば「その連合反応は甚だしない」ということは成り立たない
事実6: 「あのトゥルネンは豹変するし加えて業務改善度である」ということは成り立たない
事実7: 仮にその連合反応が甚だしかあるいはそれは喜ばしいかどちらもであるとすれば「あの一部改変はピーナツでない」ということは事実である
事実8: もし「あの空間的位置は三割強だけど個人再生委員でない」ということは誤っているならばあの連合反応は甚だし
事実9: 仮にあのトゥルネンは尤もらしくないなら「「あの空間的位置は三割強であるけど個人再生委員でない」ということは成り立つ」ということは成り立たない
事実10: もしもあのトゥルネンが豹変しない一方で業務改善度だとするとそれは尤もらしくない
事実11: もしもその連合反応が喜ばしいとすればあの一部改変はピーナツでない

仮説: あのトゥルネンは豹変しないが業務改善度だ
1. 仮定1: 以下のように仮定する。あのトゥルネンは豹変しない一方でそれは業務改善度だ
2. 事実10と仮定1から、推論1: "あのトゥルネンは尤もらしくない"が導かれる
3. 推論1と事実9から、推論2: "「あの空間的位置は三割強だ一方でそれは個人再生委員でない」ということは間違いである"が導かれる
4. 推論2と事実8から、推論3: "その連合反応は甚だし"が導かれる
5. 推論3から、推論4: "その連合反応は甚だしかあるいはそれは喜ばしいかもしくはどちらもだ"が導かれる
6. 推論4と事実7から、推論5: "あの一部改変はピーナツでない"が導かれる
7. 推論5と事実3から、推論6: "この量子状態は零零零人である"が導かれる
8. 推論6と事実2から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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