あの右下隅は顕在化し易くない
fact1: もし仮にこの論文発表がカウンター席であるとしたらあの右下隅は忌ま忌ましい fact2: この論文発表はカウンター席である fact3: もし仮にとあるものが忌ま忌ましいとすればカウンター席だ fact4: 何かは厚いとしたら揉み合う fact5: 忌ま忌ましい物は顕在化し易い fact6: もしもこの論文発表が信太妻伝説だけど動き易くないとしたらカウンター席でない fact7: もし仮にこの論文発表が忌ま忌ましいならあの右下隅はカウンター席だ fact8: この論文発表は顕在化し易い fact9: もしも「この論文発表はアメリカらしい」ということは成り立つとすればそれは信太妻伝説であるしかつ動き易くない fact10: 「あの日本手拭いはアメリカらしいということはなくておっかしくない」ということは本当だということはない
fact1 & fact2 -> int1: あの右下隅は忌ま忌ましい; fact5 -> int2: あの右下隅が忌ま忌ましいとすればそれは顕在化し易い; int1 & int2 -> hypothesis;
あの右下隅は顕在化し易くない
fact11 -> int3: 「「アメリカらしくないしまたおっかしくない」ということは事実と異なる」ものはある;
$facts$ = fact1: もし仮にこの論文発表がカウンター席であるとしたらあの右下隅は忌ま忌ましい fact2: この論文発表はカウンター席である fact3: もし仮にとあるものが忌ま忌ましいとすればカウンター席だ fact4: 何かは厚いとしたら揉み合う fact5: 忌ま忌ましい物は顕在化し易い fact6: もしもこの論文発表が信太妻伝説だけど動き易くないとしたらカウンター席でない fact7: もし仮にこの論文発表が忌ま忌ましいならあの右下隅はカウンター席だ fact8: この論文発表は顕在化し易い fact9: もしも「この論文発表はアメリカらしい」ということは成り立つとすればそれは信太妻伝説であるしかつ動き易くない fact10: 「あの日本手拭いはアメリカらしいということはなくておっかしくない」ということは本当だということはない ; $hypothesis$ = あの右下隅は顕在化し易くない ; $proof$ = 
fact1 & fact2 -> int1: あの右下隅は忌ま忌ましい; fact5 -> int2: あの右下隅が忌ま忌ましいとすればそれは顕在化し易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの論文発表がカウンター席であるとしたらあの右下隅は忌ま忌ましい
事実2: この論文発表はカウンター席である
事実3: もし仮にとあるものが忌ま忌ましいとすればカウンター席だ
事実4: 何かは厚いとしたら揉み合う
事実5: 忌ま忌ましい物は顕在化し易い
事実6: もしもこの論文発表が信太妻伝説だけど動き易くないとしたらカウンター席でない
事実7: もし仮にこの論文発表が忌ま忌ましいならあの右下隅はカウンター席だ
事実8: この論文発表は顕在化し易い
事実9: もしも「この論文発表はアメリカらしい」ということは成り立つとすればそれは信太妻伝説であるしかつ動き易くない
事実10: 「あの日本手拭いはアメリカらしいということはなくておっかしくない」ということは本当だということはない

仮説: あの右下隅は顕在化し易くない
1. 事実1と事実2から、推論1: "あの右下隅は忌ま忌ましい"が導かれる
2. 事実5から、推論2: "あの右下隅が忌ま忌ましいとすればそれは顕在化し易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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