「急性膵臓壊死であるし更に蹴飛ばす」物はある
fact1: この点変異は肉製品である一方で蹴飛ばさない fact2: もし仮にあの事情聴取が蹴飛ばすとしたら切り抜ける fact3: 仮にあの事情聴取が蹴飛ばすとするとそれは掛かり易い fact4: 暗い物は蹴飛ばす fact5: この市民運動は掛かり易い fact6: もしあの事情聴取はミクロ状態だとすれば「抱え直す」ということは誤っているということはない fact7: もしもあの事情聴取が蹴飛ばすならばあのドレッサーは姉らしい fact8: 暗くないものは蹴飛ばさない fact9: 急性膵臓壊死はある fact10: あのドレッサーは御寂しくない fact11: あの事情聴取は蹴飛ばさないならば「「あのドレッサーは姉らしいし切り抜ける」ということは誤っている」ということは事実である fact12: もしあのドレッサーが掛かり易いけれど御寂しくないなら切り抜ける fact13: もしも何かは動作するとすればそれは再検討す fact14: あのドレッサーが掛かり易くてかつ御寂しいとすると切り抜ける fact15: あの事情聴取は暗いし凭せる fact16: 「「姉らしい」物はある」ということは本当である fact17: あの事情聴取は掛かり易い fact18: あのドレッサーは掛かり易いがしかし御寂しくない fact19: あのドレッサーは暗い fact20: その誕生期は凭せるし信心深い fact21: 何らかのものは蹴飛ばす fact22: 「あの事情聴取は凭せる」ということは事実である fact23: もしもあの事情聴取が姉らしいとすれば急性膵臓壊死である fact24: 仮にあのドレッサーは切り抜けるとすると「あの事情聴取は姉らしい」ということは本当である
fact12 & fact18 -> int1: 「あのドレッサーは切り抜ける」ということは成り立つ; int1 & fact24 -> int2: あの事情聴取は姉らしい; int2 & fact23 -> int3: あの事情聴取は急性膵臓壊死だ; fact15 -> int4: あの事情聴取は暗い; fact4 -> int5: あの事情聴取が暗いとすれば蹴飛ばす; int4 & int5 -> int6: あの事情聴取は蹴飛ばす; int3 & int6 -> int7: あの事情聴取は急性膵臓壊死であるし蹴飛ばす; int7 -> hypothesis;
その現地工場は急性膵臓壊死だ
fact26 -> int8: もしもあの事情聴取が暗くないとするとそれは蹴飛ばさない;
$facts$ = fact1: この点変異は肉製品である一方で蹴飛ばさない fact2: もし仮にあの事情聴取が蹴飛ばすとしたら切り抜ける fact3: 仮にあの事情聴取が蹴飛ばすとするとそれは掛かり易い fact4: 暗い物は蹴飛ばす fact5: この市民運動は掛かり易い fact6: もしあの事情聴取はミクロ状態だとすれば「抱え直す」ということは誤っているということはない fact7: もしもあの事情聴取が蹴飛ばすならばあのドレッサーは姉らしい fact8: 暗くないものは蹴飛ばさない fact9: 急性膵臓壊死はある fact10: あのドレッサーは御寂しくない fact11: あの事情聴取は蹴飛ばさないならば「「あのドレッサーは姉らしいし切り抜ける」ということは誤っている」ということは事実である fact12: もしあのドレッサーが掛かり易いけれど御寂しくないなら切り抜ける fact13: もしも何かは動作するとすればそれは再検討す fact14: あのドレッサーが掛かり易くてかつ御寂しいとすると切り抜ける fact15: あの事情聴取は暗いし凭せる fact16: 「「姉らしい」物はある」ということは本当である fact17: あの事情聴取は掛かり易い fact18: あのドレッサーは掛かり易いがしかし御寂しくない fact19: あのドレッサーは暗い fact20: その誕生期は凭せるし信心深い fact21: 何らかのものは蹴飛ばす fact22: 「あの事情聴取は凭せる」ということは事実である fact23: もしもあの事情聴取が姉らしいとすれば急性膵臓壊死である fact24: 仮にあのドレッサーは切り抜けるとすると「あの事情聴取は姉らしい」ということは本当である ; $hypothesis$ = 「急性膵臓壊死であるし更に蹴飛ばす」物はある ; $proof$ = 
fact12 & fact18 -> int1: 「あのドレッサーは切り抜ける」ということは成り立つ; int1 & fact24 -> int2: あの事情聴取は姉らしい; int2 & fact23 -> int3: あの事情聴取は急性膵臓壊死だ; fact15 -> int4: あの事情聴取は暗い; fact4 -> int5: あの事情聴取が暗いとすれば蹴飛ばす; int4 & int5 -> int6: あの事情聴取は蹴飛ばす; int3 & int6 -> int7: あの事情聴取は急性膵臓壊死であるし蹴飛ばす; int7 -> hypothesis; __PROVED__
事実1: この点変異は肉製品である一方で蹴飛ばさない
事実2: もし仮にあの事情聴取が蹴飛ばすとしたら切り抜ける
事実3: 仮にあの事情聴取が蹴飛ばすとするとそれは掛かり易い
事実4: 暗い物は蹴飛ばす
事実5: この市民運動は掛かり易い
事実6: もしあの事情聴取はミクロ状態だとすれば「抱え直す」ということは誤っているということはない
事実7: もしもあの事情聴取が蹴飛ばすならばあのドレッサーは姉らしい
事実8: 暗くないものは蹴飛ばさない
事実9: 急性膵臓壊死はある
事実10: あのドレッサーは御寂しくない
事実11: あの事情聴取は蹴飛ばさないならば「「あのドレッサーは姉らしいし切り抜ける」ということは誤っている」ということは事実である
事実12: もしあのドレッサーが掛かり易いけれど御寂しくないなら切り抜ける
事実13: もしも何かは動作するとすればそれは再検討す
事実14: あのドレッサーが掛かり易くてかつ御寂しいとすると切り抜ける
事実15: あの事情聴取は暗いし凭せる
事実16: 「「姉らしい」物はある」ということは本当である
事実17: あの事情聴取は掛かり易い
事実18: あのドレッサーは掛かり易いがしかし御寂しくない
事実19: あのドレッサーは暗い
事実20: その誕生期は凭せるし信心深い
事実21: 何らかのものは蹴飛ばす
事実22: 「あの事情聴取は凭せる」ということは事実である
事実23: もしもあの事情聴取が姉らしいとすれば急性膵臓壊死である
事実24: 仮にあのドレッサーは切り抜けるとすると「あの事情聴取は姉らしい」ということは本当である

仮説: 「急性膵臓壊死であるし更に蹴飛ばす」物はある
1. 事実12と事実18から、推論1: "「あのドレッサーは切り抜ける」ということは成り立つ"が導かれる
2. 推論1と事実24から、推論2: "あの事情聴取は姉らしい"が導かれる
3. 推論2と事実23から、推論3: "あの事情聴取は急性膵臓壊死だ"が導かれる
4. 事実15から、推論4: "あの事情聴取は暗い"が導かれる
5. 事実4から、推論5: "あの事情聴取が暗いとすれば蹴飛ばす"が導かれる
6. 推論4と推論5から、推論6: "あの事情聴取は蹴飛ばす"が導かれる
7. 推論3と推論6から、推論7: "あの事情聴取は急性膵臓壊死であるし蹴飛ばす"が導かれる
8. 推論7から、仮説が導かれる

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