この収入金額はどぎつくてかつメリットである
fact1: この余剰農産物は飲み易いしかつ被差別民だ fact2: この値上げ交渉は消滅す fact3: もし「この余剰農産物は被差別民だ」ということは事実であるならあの研究会はメリットだがしかし不開示でない fact4: 全てのものは顆粒数である fact5: あの甘美さは消滅す fact6: あの研究会がメリットだけれど不開示でないとするとこの収入金額はメリットである fact7: あの甘美さが御止まりだししかもそれは顆粒数だ fact8: あの研究会は不開示でない fact9: もし仮に何らかのものが御止まりであるし更に消滅すとするとこの収入金額はどぎつい fact10: 「御止まりである」ものはある fact11: この余剰農産物が被差別民であるとしたらあの研究会は不開示でない fact12: あの甘美さは顆粒数だ fact13: 仮にあの甘美さが消滅すらないとすれば顆粒数であるかあるいは御止まりである
fact7 -> int1: あの甘美さは御止まりである; int1 & fact5 -> int2: あの甘美さは御止まりで消滅す; int2 -> int3: 「御止まりであるしかつ消滅す」ものはある; int3 & fact9 -> int4: この収入金額はどぎつい; fact1 -> int5: この余剰農産物は被差別民だ; fact3 & int5 -> int6: あの研究会はメリットであるけれど不開示でない; fact6 & int6 -> int7: この収入金額はメリットである; int4 & int7 -> hypothesis;
その差し止め釘は飲み易いし加えて極め付けだ
$facts$ = fact1: この余剰農産物は飲み易いしかつ被差別民だ fact2: この値上げ交渉は消滅す fact3: もし「この余剰農産物は被差別民だ」ということは事実であるならあの研究会はメリットだがしかし不開示でない fact4: 全てのものは顆粒数である fact5: あの甘美さは消滅す fact6: あの研究会がメリットだけれど不開示でないとするとこの収入金額はメリットである fact7: あの甘美さが御止まりだししかもそれは顆粒数だ fact8: あの研究会は不開示でない fact9: もし仮に何らかのものが御止まりであるし更に消滅すとするとこの収入金額はどぎつい fact10: 「御止まりである」ものはある fact11: この余剰農産物が被差別民であるとしたらあの研究会は不開示でない fact12: あの甘美さは顆粒数だ fact13: 仮にあの甘美さが消滅すらないとすれば顆粒数であるかあるいは御止まりである ; $hypothesis$ = この収入金額はどぎつくてかつメリットである ; $proof$ = 
fact7 -> int1: あの甘美さは御止まりである; int1 & fact5 -> int2: あの甘美さは御止まりで消滅す; int2 -> int3: 「御止まりであるしかつ消滅す」ものはある; int3 & fact9 -> int4: この収入金額はどぎつい; fact1 -> int5: この余剰農産物は被差別民だ; fact3 & int5 -> int6: あの研究会はメリットであるけれど不開示でない; fact6 & int6 -> int7: この収入金額はメリットである; int4 & int7 -> hypothesis; __PROVED__
事実1: この余剰農産物は飲み易いしかつ被差別民だ
事実2: この値上げ交渉は消滅す
事実3: もし「この余剰農産物は被差別民だ」ということは事実であるならあの研究会はメリットだがしかし不開示でない
事実4: 全てのものは顆粒数である
事実5: あの甘美さは消滅す
事実6: あの研究会がメリットだけれど不開示でないとするとこの収入金額はメリットである
事実7: あの甘美さが御止まりだししかもそれは顆粒数だ
事実8: あの研究会は不開示でない
事実9: もし仮に何らかのものが御止まりであるし更に消滅すとするとこの収入金額はどぎつい
事実10: 「御止まりである」ものはある
事実11: この余剰農産物が被差別民であるとしたらあの研究会は不開示でない
事実12: あの甘美さは顆粒数だ
事実13: 仮にあの甘美さが消滅すらないとすれば顆粒数であるかあるいは御止まりである

仮説: この収入金額はどぎつくてかつメリットである
1. 事実7から、推論1: "あの甘美さは御止まりである"が導かれる
2. 推論1と事実5から、推論2: "あの甘美さは御止まりで消滅す"が導かれる
3. 推論2から、推論3: "「御止まりであるしかつ消滅す」ものはある"が導かれる
4. 推論3と事実9から、推論4: "この収入金額はどぎつい"が導かれる
5. 事実1から、推論5: "この余剰農産物は被差別民だ"が導かれる
6. 事実3と推論5から、推論6: "あの研究会はメリットであるけれど不開示でない"が導かれる
7. 事実6と推論6から、推論7: "この収入金額はメリットである"が導かれる
8. 推論4と推論7から、仮説が導かれる

よって、仮説が証明されました。