「経年変化だしその上冷却管な」物はある
fact1: もしもこの誘発試験体が御存じ無いけどそれが操れないとすればあの加重平均は冷却管である fact2: 冷却管は怪我する fact3: あの加重平均は薄い fact4: 冷却管はある fact5: あの加重平均は御存じ無い fact6: あの加重平均は経年変化で加えて薄い fact7: もし仮にその地方改良運動は切り難くてさらに指南であるとしたらそれは操れない fact8: 「この誘発試験体は御存じ無くない」ということは真実である fact9: 何かは経年変化である fact10: その地方改良運動は指南だ fact11: その地方改良運動は切り難くて指南だ fact12: もし仮にその地方改良運動が操れるということはないならこの誘発試験体が御存じ無くないしさらに操れるということはない fact13: 仮に「その地方改良運動は操れない」ということは成り立つとするとこの誘発試験体は御存じ無いということはない fact14: もしこの誘発試験体が御存じ無いということはないし操れないならば「あの加重平均は冷却管でない」ということは成り立つということはない
fact7 & fact11 -> int1: その地方改良運動は操れない; int1 & fact12 -> int2: この誘発試験体は御存じ無くないしかつ操れない; int2 & fact14 -> int3: あの加重平均は冷却管である; fact6 -> int4: あの加重平均は経年変化である; int3 & int4 -> int5: あの加重平均は経年変化であるし加えてそれは冷却管だ; int5 -> hypothesis;
「怪我するしさらに引き上げする」物はある
fact15 -> int6: もしもその地方改良運動は冷却管であるならそれは怪我する;
$facts$ = fact1: もしもこの誘発試験体が御存じ無いけどそれが操れないとすればあの加重平均は冷却管である fact2: 冷却管は怪我する fact3: あの加重平均は薄い fact4: 冷却管はある fact5: あの加重平均は御存じ無い fact6: あの加重平均は経年変化で加えて薄い fact7: もし仮にその地方改良運動は切り難くてさらに指南であるとしたらそれは操れない fact8: 「この誘発試験体は御存じ無くない」ということは真実である fact9: 何かは経年変化である fact10: その地方改良運動は指南だ fact11: その地方改良運動は切り難くて指南だ fact12: もし仮にその地方改良運動が操れるということはないならこの誘発試験体が御存じ無くないしさらに操れるということはない fact13: 仮に「その地方改良運動は操れない」ということは成り立つとするとこの誘発試験体は御存じ無いということはない fact14: もしこの誘発試験体が御存じ無いということはないし操れないならば「あの加重平均は冷却管でない」ということは成り立つということはない ; $hypothesis$ = 「経年変化だしその上冷却管な」物はある ; $proof$ = 
fact7 & fact11 -> int1: その地方改良運動は操れない; int1 & fact12 -> int2: この誘発試験体は御存じ無くないしかつ操れない; int2 & fact14 -> int3: あの加重平均は冷却管である; fact6 -> int4: あの加重平均は経年変化である; int3 & int4 -> int5: あの加重平均は経年変化であるし加えてそれは冷却管だ; int5 -> hypothesis; __PROVED__
事実1: もしもこの誘発試験体が御存じ無いけどそれが操れないとすればあの加重平均は冷却管である
事実2: 冷却管は怪我する
事実3: あの加重平均は薄い
事実4: 冷却管はある
事実5: あの加重平均は御存じ無い
事実6: あの加重平均は経年変化で加えて薄い
事実7: もし仮にその地方改良運動は切り難くてさらに指南であるとしたらそれは操れない
事実8: 「この誘発試験体は御存じ無くない」ということは真実である
事実9: 何かは経年変化である
事実10: その地方改良運動は指南だ
事実11: その地方改良運動は切り難くて指南だ
事実12: もし仮にその地方改良運動が操れるということはないならこの誘発試験体が御存じ無くないしさらに操れるということはない
事実13: 仮に「その地方改良運動は操れない」ということは成り立つとするとこの誘発試験体は御存じ無いということはない
事実14: もしこの誘発試験体が御存じ無いということはないし操れないならば「あの加重平均は冷却管でない」ということは成り立つということはない

仮説: 「経年変化だしその上冷却管な」物はある
1. 事実7と事実11から、推論1: "その地方改良運動は操れない"が導かれる
2. 推論1と事実12から、推論2: "この誘発試験体は御存じ無くないしかつ操れない"が導かれる
3. 推論2と事実14から、推論3: "あの加重平均は冷却管である"が導かれる
4. 事実6から、推論4: "あの加重平均は経年変化である"が導かれる
5. 推論3と推論4から、推論5: "あの加重平均は経年変化であるし加えてそれは冷却管だ"が導かれる
6. 推論5から、仮説が導かれる

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