「「とあるものは長ずるしさらに疑わし」ということは成り立つ」ということは偽だ
fact1: あの不幸は煮込まない fact2: もしもこの率先が概説しないとすればあの庄屋は指示等であるしその上頭部だ fact3: この率先は概説する fact4: 仮にある物が頭部であるとしたらそれは長ずるし加えてそれは煮込まない fact5: あの不幸は疑わし fact6: あの不幸は反芻でしかも経済波及効果である fact7: 何らかのものが煮込むということはなくてそれに長ぜないならば概説しない fact8: もしこの率先が概説するとすればあの不幸は頭部だ
fact8 & fact3 -> int1: あの不幸は頭部である; fact4 -> int2: あの不幸が頭部だとしたら長ずるけど煮込まない; int1 & int2 -> int3: 「あの不幸は長ずるけれどそれは煮込むということはない」ということは成り立つ; int3 -> int4: 「あの不幸は長ずる」ということは確かである; int4 & fact5 -> int5: 「あの不幸は長ずるし疑わし」ということは事実である; int5 -> hypothesis;
この庄屋は指示等であるし更に頭部である
fact10 -> int6: もし仮にこの率先は煮込まなくてしかも長ぜないなら「概説するということはない」ということは確かである;
$facts$ = fact1: あの不幸は煮込まない fact2: もしもこの率先が概説しないとすればあの庄屋は指示等であるしその上頭部だ fact3: この率先は概説する fact4: 仮にある物が頭部であるとしたらそれは長ずるし加えてそれは煮込まない fact5: あの不幸は疑わし fact6: あの不幸は反芻でしかも経済波及効果である fact7: 何らかのものが煮込むということはなくてそれに長ぜないならば概説しない fact8: もしこの率先が概説するとすればあの不幸は頭部だ ; $hypothesis$ = 「「とあるものは長ずるしさらに疑わし」ということは成り立つ」ということは偽だ ; $proof$ = 
fact8 & fact3 -> int1: あの不幸は頭部である; fact4 -> int2: あの不幸が頭部だとしたら長ずるけど煮込まない; int1 & int2 -> int3: 「あの不幸は長ずるけれどそれは煮込むということはない」ということは成り立つ; int3 -> int4: 「あの不幸は長ずる」ということは確かである; int4 & fact5 -> int5: 「あの不幸は長ずるし疑わし」ということは事実である; int5 -> hypothesis; __DISPROVED__
事実1: あの不幸は煮込まない
事実2: もしもこの率先が概説しないとすればあの庄屋は指示等であるしその上頭部だ
事実3: この率先は概説する
事実4: 仮にある物が頭部であるとしたらそれは長ずるし加えてそれは煮込まない
事実5: あの不幸は疑わし
事実6: あの不幸は反芻でしかも経済波及効果である
事実7: 何らかのものが煮込むということはなくてそれに長ぜないならば概説しない
事実8: もしこの率先が概説するとすればあの不幸は頭部だ

仮説: 「「とあるものは長ずるしさらに疑わし」ということは成り立つ」ということは偽だ
1. 事実8と事実3から、推論1: "あの不幸は頭部である"が導かれる
2. 事実4から、推論2: "あの不幸が頭部だとしたら長ずるけど煮込まない"が導かれる
3. 推論1と推論2から、推論3: "「あの不幸は長ずるけれどそれは煮込むということはない」ということは成り立つ"が導かれる
4. 推論3から、推論4: "「あの不幸は長ずる」ということは確かである"が導かれる
5. 推論4と事実5から、推論5: "「あの不幸は長ずるし疑わし」ということは事実である"が導かれる
6. 推論5から、仮説が否定される

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