その測量隊は断定しない
fact1: もしその寄与度・寄与率が断定するかそれが結び付き易くないかもしくは両方であるとしたらその測量隊は断定する fact2: なんらかのものは美々しかないとすれば「それは一挙一動であるし副腎髄質細胞だ」ということは誤っている fact3: もし仮になにがしかのものはパソコン本体でないならそれは美々しかない fact4: この前景色はメディウムだということはないなら「「その老人福祉は明るくてつま弾く」ということは成り立たない」ということは真実である fact5: その老人福祉が冴えないしそれは施設しないならば「あの臨床医は冴えない」ということは真実である fact6: 如才無い物は美々しかない fact7: もしあの臨床医は冴えるということはないなら「あの神託は冴えない」ということは確かである fact8: 仮に「あの神託は行い得るけど地域地区であるということはない」ということは誤りであるとするとその障害者青年学級は地域地区でない fact9: 「もしなにがしかのものは冴えないなら「それは行い得るし加えてそれは地域地区でない」ということは偽だ」ということは正しい fact10: この前景色はメディウムでない fact11: その測量隊は断定するかまたは一挙一動であるかあるいはどちらもである fact12: 何らかの物は副腎髄質細胞だ fact13: 何かは副腎髄質細胞でない fact14: もし仮にその老人福祉が明るくないならばそれは冴えるということはなくて加えて施設しない fact15: もしもとあるものが結び付き易いかまたは一挙一動であるとするとその測量隊は断定するということはない fact16: 「「一挙一動だ」ということは正しい」物があるとしたらその測量隊は断定するということはない fact17: もし「副腎髄質細胞でない」ものがあるとすればその寄与度・寄与率は結び付き易いかまたは一挙一動であるかもしくは両方だ fact18: その障害者青年学級が地域地区でないならば如才無いかあるいはそれはパソコン本体でないかまたは両方ともだ fact19: 仮に「その老人福祉は明るいしつま弾く」ということは成り立つということはないとすればそれは明るくない
fact13 & fact17 -> int1: その寄与度・寄与率は結び付き易いかあるいは一挙一動であるかあるいは両方である; int1 -> int2: 「結び付き易いか一挙一動な」ものはある; int2 & fact15 -> hypothesis;
その測量隊は断定する
fact23 -> int3: その障害者青年学級は美々しいということはないとしたら「一挙一動であるし副腎髄質細胞だ」ということは正しいということはない; fact20 -> int4: あの神託は冴えないとすれば「それは行い得るがしかし地域地区でない」ということは成り立つということはない; fact28 & fact24 -> int5: 「その老人福祉は明るいししかもそれはつま弾く」ということは成り立たない; fact31 & int5 -> int6: その老人福祉は明るくない; fact22 & int6 -> int7: その老人福祉は冴えないしそれは施設しない; fact30 & int7 -> int8: あの臨床医は冴えない; fact26 & int8 -> int9: あの神託は冴えない; int4 & int9 -> int10: 「あの神託は行い得るけれど地域地区だということはない」ということは事実と異なる; fact29 & int10 -> int11: その障害者青年学級は地域地区でない; fact27 & int11 -> int12: その障害者青年学級は如才無いかあるいはパソコン本体でない; fact25 -> int13: 仮にその障害者青年学級が如才無いとすればそれは美々しかない; fact21 -> int14: もしその障害者青年学級はパソコン本体でないならば美々しかない; int12 & int13 & int14 -> int15: その障害者青年学級は美々しいということはない; int3 & int15 -> int16: 「その障害者青年学級は一挙一動でしかもそれは副腎髄質細胞だ」ということは成り立たない; int16 -> int17: 「「「一挙一動であるし副腎髄質細胞である」ということは確かである」ということは成り立たない」物はある;
$facts$ = fact1: もしその寄与度・寄与率が断定するかそれが結び付き易くないかもしくは両方であるとしたらその測量隊は断定する fact2: なんらかのものは美々しかないとすれば「それは一挙一動であるし副腎髄質細胞だ」ということは誤っている fact3: もし仮になにがしかのものはパソコン本体でないならそれは美々しかない fact4: この前景色はメディウムだということはないなら「「その老人福祉は明るくてつま弾く」ということは成り立たない」ということは真実である fact5: その老人福祉が冴えないしそれは施設しないならば「あの臨床医は冴えない」ということは真実である fact6: 如才無い物は美々しかない fact7: もしあの臨床医は冴えるということはないなら「あの神託は冴えない」ということは確かである fact8: 仮に「あの神託は行い得るけど地域地区であるということはない」ということは誤りであるとするとその障害者青年学級は地域地区でない fact9: 「もしなにがしかのものは冴えないなら「それは行い得るし加えてそれは地域地区でない」ということは偽だ」ということは正しい fact10: この前景色はメディウムでない fact11: その測量隊は断定するかまたは一挙一動であるかあるいはどちらもである fact12: 何らかの物は副腎髄質細胞だ fact13: 何かは副腎髄質細胞でない fact14: もし仮にその老人福祉が明るくないならばそれは冴えるということはなくて加えて施設しない fact15: もしもとあるものが結び付き易いかまたは一挙一動であるとするとその測量隊は断定するということはない fact16: 「「一挙一動だ」ということは正しい」物があるとしたらその測量隊は断定するということはない fact17: もし「副腎髄質細胞でない」ものがあるとすればその寄与度・寄与率は結び付き易いかまたは一挙一動であるかもしくは両方だ fact18: その障害者青年学級が地域地区でないならば如才無いかあるいはそれはパソコン本体でないかまたは両方ともだ fact19: 仮に「その老人福祉は明るいしつま弾く」ということは成り立つということはないとすればそれは明るくない ; $hypothesis$ = その測量隊は断定しない ; $proof$ = 
fact13 & fact17 -> int1: その寄与度・寄与率は結び付き易いかあるいは一挙一動であるかあるいは両方である; int1 -> int2: 「結び付き易いか一挙一動な」ものはある; int2 & fact15 -> hypothesis; __PROVED__
事実1: もしその寄与度・寄与率が断定するかそれが結び付き易くないかもしくは両方であるとしたらその測量隊は断定する
事実2: なんらかのものは美々しかないとすれば「それは一挙一動であるし副腎髄質細胞だ」ということは誤っている
事実3: もし仮になにがしかのものはパソコン本体でないならそれは美々しかない
事実4: この前景色はメディウムだということはないなら「「その老人福祉は明るくてつま弾く」ということは成り立たない」ということは真実である
事実5: その老人福祉が冴えないしそれは施設しないならば「あの臨床医は冴えない」ということは真実である
事実6: 如才無い物は美々しかない
事実7: もしあの臨床医は冴えるということはないなら「あの神託は冴えない」ということは確かである
事実8: 仮に「あの神託は行い得るけど地域地区であるということはない」ということは誤りであるとするとその障害者青年学級は地域地区でない
事実9: 「もしなにがしかのものは冴えないなら「それは行い得るし加えてそれは地域地区でない」ということは偽だ」ということは正しい
事実10: この前景色はメディウムでない
事実11: その測量隊は断定するかまたは一挙一動であるかあるいはどちらもである
事実12: 何らかの物は副腎髄質細胞だ
事実13: 何かは副腎髄質細胞でない
事実14: もし仮にその老人福祉が明るくないならばそれは冴えるということはなくて加えて施設しない
事実15: もしもとあるものが結び付き易いかまたは一挙一動であるとするとその測量隊は断定するということはない
事実16: 「「一挙一動だ」ということは正しい」物があるとしたらその測量隊は断定するということはない
事実17: もし「副腎髄質細胞でない」ものがあるとすればその寄与度・寄与率は結び付き易いかまたは一挙一動であるかもしくは両方だ
事実18: その障害者青年学級が地域地区でないならば如才無いかあるいはそれはパソコン本体でないかまたは両方ともだ
事実19: 仮に「その老人福祉は明るいしつま弾く」ということは成り立つということはないとすればそれは明るくない

仮説: その測量隊は断定しない
1. 事実13と事実17から、推論1: "その寄与度・寄与率は結び付き易いかあるいは一挙一動であるかあるいは両方である"が導かれる
2. 推論1から、推論2: "「結び付き易いか一挙一動な」ものはある"が導かれる
3. 推論2と事実15から、仮説が導かれる

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