あのシュトルムは無視し得る
fact1: 仮にその回転ドラム式が進行であるならあのシュトルムは無視し得る fact2: あの重点目標はタッチするかへし折れるかあるいは両方である fact3: 「あのシュトルムは心安い」ということは成り立つ fact4: もしもその回転ドラム式が進行であるとしたらあの重点目標は想像し難くないしその上ＨＭＧでない fact5: あのシュトルムはされ易い fact6: もし仮にあのシュトルムが進行であるとしたらあの重点目標は無視し得る fact7: この内部者支配モデルがへし折れるとすると無視し得る fact8: あの角製はタッチするしされ易い fact9: もし仮に「「タッチするしされ易い」ものはある」ということは本当であるならこの内部者支配モデルはＨＭＧである fact10: 「あのシュトルムはＨＭＧでない」ということは成り立つ fact11: もし「あの重点目標は進行でない」ということは成り立てばその回転ドラム式は進行であるかまたはそれは想像し難いか両方だ fact12: その回転ドラム式は無視し得るかそれは想像し難い fact13: 仮にその回転ドラム式がされ易いとすればあの角製は想像し難い fact14: あの角製がＨＭＧならあの重点目標は進行でなくてしかもされ易くない fact15: もしその回転ドラム式は想像し難いとしたら「あのシュトルムは無視し得る」ということは確かである fact16: この内部者支配モデルはへし折れるし探し易い fact17: あのシュトルムは切なくない fact18: もしこの内部者支配モデルがＨＭＧであるとするとあの重点目標はへし折れなくてそれは進行だということはない fact19: もし仮にこの内部者支配モデルが無視し得るしそれにされ易いとすればあのシュトルムは無視し得ない
fact8 -> int1: なにかはタッチするししかもされ易い; int1 & fact9 -> int2: この内部者支配モデルはＨＭＧだ; int2 & fact18 -> int3: あの重点目標はへし折れなくておまけに進行でない; int3 -> int4: あの重点目標は進行でない; int4 & fact11 -> int5: その回転ドラム式は進行であるかそれは想像し難い; int5 & fact1 & fact15 -> hypothesis;
あのシュトルムは無視し得るということはない
fact21 -> int6: この内部者支配モデルはへし折れる; fact20 & int6 -> int7: この内部者支配モデルは無視し得る;
$facts$ = fact1: 仮にその回転ドラム式が進行であるならあのシュトルムは無視し得る fact2: あの重点目標はタッチするかへし折れるかあるいは両方である fact3: 「あのシュトルムは心安い」ということは成り立つ fact4: もしもその回転ドラム式が進行であるとしたらあの重点目標は想像し難くないしその上ＨＭＧでない fact5: あのシュトルムはされ易い fact6: もし仮にあのシュトルムが進行であるとしたらあの重点目標は無視し得る fact7: この内部者支配モデルがへし折れるとすると無視し得る fact8: あの角製はタッチするしされ易い fact9: もし仮に「「タッチするしされ易い」ものはある」ということは本当であるならこの内部者支配モデルはＨＭＧである fact10: 「あのシュトルムはＨＭＧでない」ということは成り立つ fact11: もし「あの重点目標は進行でない」ということは成り立てばその回転ドラム式は進行であるかまたはそれは想像し難いか両方だ fact12: その回転ドラム式は無視し得るかそれは想像し難い fact13: 仮にその回転ドラム式がされ易いとすればあの角製は想像し難い fact14: あの角製がＨＭＧならあの重点目標は進行でなくてしかもされ易くない fact15: もしその回転ドラム式は想像し難いとしたら「あのシュトルムは無視し得る」ということは確かである fact16: この内部者支配モデルはへし折れるし探し易い fact17: あのシュトルムは切なくない fact18: もしこの内部者支配モデルがＨＭＧであるとするとあの重点目標はへし折れなくてそれは進行だということはない fact19: もし仮にこの内部者支配モデルが無視し得るしそれにされ易いとすればあのシュトルムは無視し得ない ; $hypothesis$ = あのシュトルムは無視し得る ; $proof$ = 
fact8 -> int1: なにかはタッチするししかもされ易い; int1 & fact9 -> int2: この内部者支配モデルはＨＭＧだ; int2 & fact18 -> int3: あの重点目標はへし折れなくておまけに進行でない; int3 -> int4: あの重点目標は進行でない; int4 & fact11 -> int5: その回転ドラム式は進行であるかそれは想像し難い; int5 & fact1 & fact15 -> hypothesis; __PROVED__
事実1: 仮にその回転ドラム式が進行であるならあのシュトルムは無視し得る
事実2: あの重点目標はタッチするかへし折れるかあるいは両方である
事実3: 「あのシュトルムは心安い」ということは成り立つ
事実4: もしもその回転ドラム式が進行であるとしたらあの重点目標は想像し難くないしその上ＨＭＧでない
事実5: あのシュトルムはされ易い
事実6: もし仮にあのシュトルムが進行であるとしたらあの重点目標は無視し得る
事実7: この内部者支配モデルがへし折れるとすると無視し得る
事実8: あの角製はタッチするしされ易い
事実9: もし仮に「「タッチするしされ易い」ものはある」ということは本当であるならこの内部者支配モデルはＨＭＧである
事実10: 「あのシュトルムはＨＭＧでない」ということは成り立つ
事実11: もし「あの重点目標は進行でない」ということは成り立てばその回転ドラム式は進行であるかまたはそれは想像し難いか両方だ
事実12: その回転ドラム式は無視し得るかそれは想像し難い
事実13: 仮にその回転ドラム式がされ易いとすればあの角製は想像し難い
事実14: あの角製がＨＭＧならあの重点目標は進行でなくてしかもされ易くない
事実15: もしその回転ドラム式は想像し難いとしたら「あのシュトルムは無視し得る」ということは確かである
事実16: この内部者支配モデルはへし折れるし探し易い
事実17: あのシュトルムは切なくない
事実18: もしこの内部者支配モデルがＨＭＧであるとするとあの重点目標はへし折れなくてそれは進行だということはない
事実19: もし仮にこの内部者支配モデルが無視し得るしそれにされ易いとすればあのシュトルムは無視し得ない

仮説: あのシュトルムは無視し得る
1. 事実8から、推論1: "なにかはタッチするししかもされ易い"が導かれる
2. 推論1と事実9から、推論2: "この内部者支配モデルはＨＭＧだ"が導かれる
3. 推論2と事実18から、推論3: "あの重点目標はへし折れなくておまけに進行でない"が導かれる
4. 推論3から、推論4: "あの重点目標は進行でない"が導かれる
5. 推論4と事実11から、推論5: "その回転ドラム式は進行であるかそれは想像し難い"が導かれる
6. 推論5と事実1と事実15から、仮説が導かれる

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