この感謝がレベルだけど単耳でない
fact1: 「あの皿駕籠は往診するということはない一方で昼下がりである」ということは成り立たない fact2: もし仮に「「船種でない」ということは偽でない」ものがあるとするとその経済水準は青っぽい fact3: もしもその経済水準は往診するなら「あの皿駕籠が国家論ノートだし往診する」ということは誤りである fact4: もしも「船種でない」ものがあるとすればその経済水準は青っぽくておまけにそれは往診する fact5: その経済水準は青っぽい fact6: もし仮に「その経済水準は往診しないがしかし船種である」ということは成り立たないとするとこの感謝は船種だ fact7: 仮にこの感謝はレベルでないとしたら「「その優勝候補はＡＫＩＯだ一方でレベルでない」ということは真実である」ということは間違いだ fact8: その優勝候補は単耳でないとすると「この感謝はレベルであるし単耳だ」ということは誤りだ fact9: もしもあの皿駕籠が国家論ノートであるならその優勝候補は昼下がりだ fact10: 「船種でない」物はある fact11: 「船種な」ものはある fact12: 「その経済水準は香しいし青っぽい」ということは偽でない fact13: 「この感謝がレベルだし更に単耳である」ということは偽だ fact14: もし仮に「あの皿駕籠は国家論ノートでない一方でそれは往診する」ということは成り立たないならばその優勝候補は昼下がりだ fact15: もし仮にその優勝候補が昼下がりでかつＡＫＩＯならば「それは単耳でない」ということは本当である fact16: 「この感謝は往診するけれど単耳でない」ということは成り立たない fact17: もしその経済水準は往診するとすると「あの皿駕籠は国家論ノートでないが往診する」ということは間違いである fact18: 「あの皿駕籠は国家論ノートであるしまた往診する」ということは成り立たない fact19: その優勝候補はＡＫＩＯだ fact20: もし仮に「その優勝候補は単耳でない」ということは確かならば「この感謝はレベルだけれど単耳でない」ということは事実と異なる
fact10 & fact4 -> int1: その経済水準は青っぽいし往診する; int1 -> int2: その経済水準は往診する; int2 & fact17 -> int3: 「「あの皿駕籠は国家論ノートでないけどそれは往診する」ということは間違いだ」ということは成り立つ; int3 & fact14 -> int4: その優勝候補は昼下がりだ; int4 & fact19 -> int5: その優勝候補は昼下がりであるし更にＡＫＩＯである; int5 & fact15 -> int6: その優勝候補は単耳でない; int6 & fact20 -> hypothesis;
この感謝はレベルだがしかし単耳でない
$facts$ = fact1: 「あの皿駕籠は往診するということはない一方で昼下がりである」ということは成り立たない fact2: もし仮に「「船種でない」ということは偽でない」ものがあるとするとその経済水準は青っぽい fact3: もしもその経済水準は往診するなら「あの皿駕籠が国家論ノートだし往診する」ということは誤りである fact4: もしも「船種でない」ものがあるとすればその経済水準は青っぽくておまけにそれは往診する fact5: その経済水準は青っぽい fact6: もし仮に「その経済水準は往診しないがしかし船種である」ということは成り立たないとするとこの感謝は船種だ fact7: 仮にこの感謝はレベルでないとしたら「「その優勝候補はＡＫＩＯだ一方でレベルでない」ということは真実である」ということは間違いだ fact8: その優勝候補は単耳でないとすると「この感謝はレベルであるし単耳だ」ということは誤りだ fact9: もしもあの皿駕籠が国家論ノートであるならその優勝候補は昼下がりだ fact10: 「船種でない」物はある fact11: 「船種な」ものはある fact12: 「その経済水準は香しいし青っぽい」ということは偽でない fact13: 「この感謝がレベルだし更に単耳である」ということは偽だ fact14: もし仮に「あの皿駕籠は国家論ノートでない一方でそれは往診する」ということは成り立たないならばその優勝候補は昼下がりだ fact15: もし仮にその優勝候補が昼下がりでかつＡＫＩＯならば「それは単耳でない」ということは本当である fact16: 「この感謝は往診するけれど単耳でない」ということは成り立たない fact17: もしその経済水準は往診するとすると「あの皿駕籠は国家論ノートでないが往診する」ということは間違いである fact18: 「あの皿駕籠は国家論ノートであるしまた往診する」ということは成り立たない fact19: その優勝候補はＡＫＩＯだ fact20: もし仮に「その優勝候補は単耳でない」ということは確かならば「この感謝はレベルだけれど単耳でない」ということは事実と異なる ; $hypothesis$ = この感謝がレベルだけど単耳でない ; $proof$ = 
fact10 & fact4 -> int1: その経済水準は青っぽいし往診する; int1 -> int2: その経済水準は往診する; int2 & fact17 -> int3: 「「あの皿駕籠は国家論ノートでないけどそれは往診する」ということは間違いだ」ということは成り立つ; int3 & fact14 -> int4: その優勝候補は昼下がりだ; int4 & fact19 -> int5: その優勝候補は昼下がりであるし更にＡＫＩＯである; int5 & fact15 -> int6: その優勝候補は単耳でない; int6 & fact20 -> hypothesis; __DISPROVED__
事実1: 「あの皿駕籠は往診するということはない一方で昼下がりである」ということは成り立たない
事実2: もし仮に「「船種でない」ということは偽でない」ものがあるとするとその経済水準は青っぽい
事実3: もしもその経済水準は往診するなら「あの皿駕籠が国家論ノートだし往診する」ということは誤りである
事実4: もしも「船種でない」ものがあるとすればその経済水準は青っぽくておまけにそれは往診する
事実5: その経済水準は青っぽい
事実6: もし仮に「その経済水準は往診しないがしかし船種である」ということは成り立たないとするとこの感謝は船種だ
事実7: 仮にこの感謝はレベルでないとしたら「「その優勝候補はＡＫＩＯだ一方でレベルでない」ということは真実である」ということは間違いだ
事実8: その優勝候補は単耳でないとすると「この感謝はレベルであるし単耳だ」ということは誤りだ
事実9: もしもあの皿駕籠が国家論ノートであるならその優勝候補は昼下がりだ
事実10: 「船種でない」物はある
事実11: 「船種な」ものはある
事実12: 「その経済水準は香しいし青っぽい」ということは偽でない
事実13: 「この感謝がレベルだし更に単耳である」ということは偽だ
事実14: もし仮に「あの皿駕籠は国家論ノートでない一方でそれは往診する」ということは成り立たないならばその優勝候補は昼下がりだ
事実15: もし仮にその優勝候補が昼下がりでかつＡＫＩＯならば「それは単耳でない」ということは本当である
事実16: 「この感謝は往診するけれど単耳でない」ということは成り立たない
事実17: もしその経済水準は往診するとすると「あの皿駕籠は国家論ノートでないが往診する」ということは間違いである
事実18: 「あの皿駕籠は国家論ノートであるしまた往診する」ということは成り立たない
事実19: その優勝候補はＡＫＩＯだ
事実20: もし仮に「その優勝候補は単耳でない」ということは確かならば「この感謝はレベルだけれど単耳でない」ということは事実と異なる

仮説: この感謝がレベルだけど単耳でない
1. 事実10と事実4から、推論1: "その経済水準は青っぽいし往診する"が導かれる
2. 推論1から、推論2: "その経済水準は往診する"が導かれる
3. 推論2と事実17から、推論3: "「「あの皿駕籠は国家論ノートでないけどそれは往診する」ということは間違いだ」ということは成り立つ"が導かれる
4. 推論3と事実14から、推論4: "その優勝候補は昼下がりだ"が導かれる
5. 推論4と事実19から、推論5: "その優勝候補は昼下がりであるし更にＡＫＩＯである"が導かれる
6. 推論5と事実15から、推論6: "その優勝候補は単耳でない"が導かれる
7. 推論6と事実20から、仮説が否定される

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