「太り難くないし説明し難いということはない」物はある
fact1: 仮に太り難い録音テープがあるならばあの当該原本は疾走する fact2: もしもこの当該原本が録音テープならばその投票行動は殉葬である fact3: なんらかの物は太り難いということはないが説明し難い fact4: 「この仕上げ除去剤は太り難いということはない」ということは成り立つ fact5: その真菌類は女性グループだ fact6: なんらかの物は市販するけど営業部員でない fact7: 「その投票行動は録音テープで太り難い」ということは成り立つ fact8: 飛来・落下が芳香浴だとすると疾走しない fact9: もし「その真菌類は太り難い」ということは事実だとしたらこの仕上げ除去剤は太り難くないしまたそれは説明し難いということはない fact10: あの対応方針は太り難い fact11: あの対応方針は飛来・落下だ fact12: その真菌類は説明し難くて加えて毒々しい fact13: もし説明し難い物が毒々しいとすればこの当該原本は飛来・落下だ fact14: なんらかの物は説明し難くない fact15: なんらかの物は太り難いけれど説明し難くない fact16: その投票行動が殉葬であるならその真菌類は太り難い fact17: あの対応方針は芳香浴である fact18: この仕上げ除去剤は飛来・落下だ fact19: この当該原本は疾走する fact20: 仮にあの対応方針が疾走するということはないとすればあの当該原本は録音テープだ fact21: もしもその真菌類が太り難いとするとこの仕上げ除去剤は太り難くない
fact11 & fact17 -> int1: あの対応方針は飛来・落下であるししかも芳香浴である; fact8 -> int2: 仮にあの対応方針は飛来・落下であるし更に芳香浴であるならば疾走しない; int1 & int2 -> int3: 「あの対応方針は疾走しない」ということは成り立つ; int3 & fact20 -> int4: この当該原本は録音テープである; int4 & fact2 -> int5: その投票行動は殉葬である; int5 & fact16 -> int6: 「その真菌類は太り難い」ということは成り立つ; int6 & fact9 -> int7: この仕上げ除去剤は太り難いということはないし加えて説明し難くない; int7 -> hypothesis;
あの対応方針は殉葬である
fact22 -> int8: 説明し難いししかも毒々しい物はある; int8 & fact25 -> int9: この当該原本は飛来・落下である; fact23 -> int10: 「録音テープだしそれに太り難い」物はある; int10 & fact24 -> int11: 「この当該原本は疾走する」ということは本当である;
$facts$ = fact1: 仮に太り難い録音テープがあるならばあの当該原本は疾走する fact2: もしもこの当該原本が録音テープならばその投票行動は殉葬である fact3: なんらかの物は太り難いということはないが説明し難い fact4: 「この仕上げ除去剤は太り難いということはない」ということは成り立つ fact5: その真菌類は女性グループだ fact6: なんらかの物は市販するけど営業部員でない fact7: 「その投票行動は録音テープで太り難い」ということは成り立つ fact8: 飛来・落下が芳香浴だとすると疾走しない fact9: もし「その真菌類は太り難い」ということは事実だとしたらこの仕上げ除去剤は太り難くないしまたそれは説明し難いということはない fact10: あの対応方針は太り難い fact11: あの対応方針は飛来・落下だ fact12: その真菌類は説明し難くて加えて毒々しい fact13: もし説明し難い物が毒々しいとすればこの当該原本は飛来・落下だ fact14: なんらかの物は説明し難くない fact15: なんらかの物は太り難いけれど説明し難くない fact16: その投票行動が殉葬であるならその真菌類は太り難い fact17: あの対応方針は芳香浴である fact18: この仕上げ除去剤は飛来・落下だ fact19: この当該原本は疾走する fact20: 仮にあの対応方針が疾走するということはないとすればあの当該原本は録音テープだ fact21: もしもその真菌類が太り難いとするとこの仕上げ除去剤は太り難くない ; $hypothesis$ = 「太り難くないし説明し難いということはない」物はある ; $proof$ = 
fact11 & fact17 -> int1: あの対応方針は飛来・落下であるししかも芳香浴である; fact8 -> int2: 仮にあの対応方針は飛来・落下であるし更に芳香浴であるならば疾走しない; int1 & int2 -> int3: 「あの対応方針は疾走しない」ということは成り立つ; int3 & fact20 -> int4: この当該原本は録音テープである; int4 & fact2 -> int5: その投票行動は殉葬である; int5 & fact16 -> int6: 「その真菌類は太り難い」ということは成り立つ; int6 & fact9 -> 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: もしもその真菌類が太り難いとするとこの仕上げ除去剤は太り難くない

仮説: 「太り難くないし説明し難いということはない」物はある
1. 事実11と事実17から、推論1: "あの対応方針は飛来・落下であるししかも芳香浴である"が導かれる
2. 事実8から、推論2: "仮にあの対応方針は飛来・落下であるし更に芳香浴であるならば疾走しない"が導かれる
3. 推論1と推論2から、推論3: "「あの対応方針は疾走しない」ということは成り立つ"が導かれる
4. 推論3と事実20から、推論4: "この当該原本は録音テープである"が導かれる
5. 推論4と事実2から、推論5: "その投票行動は殉葬である"が導かれる
6. 推論5と事実16から、推論6: "「その真菌類は太り難い」ということは成り立つ"が導かれる
7. 推論6と事実9から、推論7: "この仕上げ除去剤は太り難いということはないし加えて説明し難くない"が導かれる
8. 推論7から、仮説が導かれる

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