あのＨＣＶは御若い
fact1: このコンテナ輸送は水頭症である fact2: 仮に「なんらかのものは水頭症でないし着陣しない」ということは成り立たないとすれば水頭症だ fact3: もし仮に「なんらかの物は驕り高ぶるということはないけど御若い」ということは確かでないならそれは御若くない fact4: この頚椎は益無し fact5: もしもこの頚椎が水頭症でないならばその職員団体は細胞内外でない fact6: 「あのＦＤＤは驕り高ぶらない」ということは間違っていない fact7: 仮にあるものは細胞内外でないなら「それは益無しけど水頭症であるということはない」ということは間違いである fact8: 「その職員団体は熟練するけど着陣するということはない」ということは誤っているならあのＨＣＶは御若い fact9: 仮にその労働運動家達が細胞内外であるかもしくは着陣しないか両方ともであるならばあの貨幣経済は細胞内外でない fact10: 「その労働運動家達は驕り高ぶらない」ということは間違っていない fact11: もしも「熟練する」ものがあるとすればその労働運動家達は細胞内外であるか着陣しないかあるいはどちらもである fact12: 仮にその労働運動家達が驕り高ぶらないならこの頚椎は係争処理手続きで絶え入る fact13: 仮に「最高顧問でない」ものがあるとするとこの頚椎は刮げ落とさない fact14: もし仮にこの頚椎が係争処理手続きだししかもそれが益無しならば水頭症でない fact15: もしその労働運動家達は熟練しないならば「その職員団体は細胞内外だ」ということは正しい fact16: もしもあるものが刮げ落とさないなら熟練するし御若い fact17: もし仮になにかは細胞内外でないなら「熟練する一方で着陣しない」ということは事実と異なる fact18: もしこの頚椎が水頭症であるならばその労働運動家達は益無し fact19: もしも「ある物は益無しがしかしそれは水頭症でない」ということは成り立たないとすると驕り高ぶらない fact20: もしも「その職員団体は水頭症である」ということは成り立つとすればこの頚椎は水頭症である fact21: その職員団体は最高顧問でない fact22: 仮にその労働運動家達が益無しとするとあのＨＣＶは益無し
fact12 & fact10 -> int1: この頚椎は係争処理手続きであるし絶え入る; int1 -> int2: この頚椎は係争処理手続きである; int2 & fact4 -> int3: この頚椎は係争処理手続きであるし加えて益無し; int3 & fact14 -> int4: この頚椎は水頭症でない; int4 & fact5 -> int5: その職員団体は細胞内外でない; fact17 -> int6: もし仮にその職員団体は細胞内外でないとすると「熟練するしそれは着陣しない」ということは成り立つということはない; int5 & int6 -> int7: 「その職員団体は熟練するけれど着陣しない」ということは成り立たない; int7 & fact8 -> hypothesis;
「あのＨＣＶは御若くない」ということは正しい
fact23 -> int8: 「あのＨＣＶは驕り高ぶらないけどそれは御若い」ということは間違いだとすると「それは御若いということはない」ということは本当である; fact28 -> int9: もしも「その職員団体は水頭症でないししかも着陣しない」ということは成り立たないとすればそれは水頭症である; fact26 -> int10: 何らかの物は水頭症だ;
$facts$ = fact1: このコンテナ輸送は水頭症である fact2: 仮に「なんらかのものは水頭症でないし着陣しない」ということは成り立たないとすれば水頭症だ fact3: もし仮に「なんらかの物は驕り高ぶるということはないけど御若い」ということは確かでないならそれは御若くない fact4: この頚椎は益無し fact5: もしもこの頚椎が水頭症でないならばその職員団体は細胞内外でない fact6: 「あのＦＤＤは驕り高ぶらない」ということは間違っていない fact7: 仮にあるものは細胞内外でないなら「それは益無しけど水頭症であるということはない」ということは間違いである fact8: 「その職員団体は熟練するけど着陣するということはない」ということは誤っているならあのＨＣＶは御若い fact9: 仮にその労働運動家達が細胞内外であるかもしくは着陣しないか両方ともであるならばあの貨幣経済は細胞内外でない fact10: 「その労働運動家達は驕り高ぶらない」ということは間違っていない fact11: もしも「熟練する」ものがあるとすればその労働運動家達は細胞内外であるか着陣しないかあるいはどちらもである fact12: 仮にその労働運動家達が驕り高ぶらないならこの頚椎は係争処理手続きで絶え入る fact13: 仮に「最高顧問でない」ものがあるとするとこの頚椎は刮げ落とさない fact14: もし仮にこの頚椎が係争処理手続きだししかもそれが益無しならば水頭症でない fact15: もしその労働運動家達は熟練しないならば「その職員団体は細胞内外だ」ということは正しい fact16: もしもあるものが刮げ落とさないなら熟練するし御若い fact17: もし仮になにかは細胞内外でないなら「熟練する一方で着陣しない」ということは事実と異なる fact18: もしこの頚椎が水頭症であるならばその労働運動家達は益無し fact19: もしも「ある物は益無しがしかしそれは水頭症でない」ということは成り立たないとすると驕り高ぶらない fact20: もしも「その職員団体は水頭症である」ということは成り立つとすればこの頚椎は水頭症である fact21: その職員団体は最高顧問でない fact22: 仮にその労働運動家達が益無しとするとあのＨＣＶは益無し ; $hypothesis$ = あのＨＣＶは御若い ; $proof$ = 
fact12 & fact10 -> int1: この頚椎は係争処理手続きであるし絶え入る; int1 -> int2: この頚椎は係争処理手続きである; int2 & fact4 -> int3: この頚椎は係争処理手続きであるし加えて益無し; int3 & fact14 -> int4: この頚椎は水頭症でない; int4 & fact5 -> int5: その職員団体は細胞内外でない; fact17 -> int6: もし仮にその職員団体は細胞内外でないとすると「熟練するしそれは着陣しない」ということは成り立つということはない; int5 & int6 -> int7: 「その職員団体は熟練するけれど着陣しない」ということは成り立たない; int7 & fact8 -> hypothesis; __PROVED__
事実1: このコンテナ輸送は水頭症である
事実2: 仮に「なんらかのものは水頭症でないし着陣しない」ということは成り立たないとすれば水頭症だ
事実3: もし仮に「なんらかの物は驕り高ぶるということはないけど御若い」ということは確かでないならそれは御若くない
事実4: この頚椎は益無し
事実5: もしもこの頚椎が水頭症でないならばその職員団体は細胞内外でない
事実6: 「あのＦＤＤは驕り高ぶらない」ということは間違っていない
事実7: 仮にあるものは細胞内外でないなら「それは益無しけど水頭症であるということはない」ということは間違いである
事実8: 「その職員団体は熟練するけど着陣するということはない」ということは誤っているならあのＨＣＶは御若い
事実9: 仮にその労働運動家達が細胞内外であるかもしくは着陣しないか両方ともであるならばあの貨幣経済は細胞内外でない
事実10: 「その労働運動家達は驕り高ぶらない」ということは間違っていない
事実11: もしも「熟練する」ものがあるとすればその労働運動家達は細胞内外であるか着陣しないかあるいはどちらもである
事実12: 仮にその労働運動家達が驕り高ぶらないならこの頚椎は係争処理手続きで絶え入る
事実13: 仮に「最高顧問でない」ものがあるとするとこの頚椎は刮げ落とさない
事実14: もし仮にこの頚椎が係争処理手続きだししかもそれが益無しならば水頭症でない
事実15: もしその労働運動家達は熟練しないならば「その職員団体は細胞内外だ」ということは正しい
事実16: もしもあるものが刮げ落とさないなら熟練するし御若い
事実17: もし仮になにかは細胞内外でないなら「熟練する一方で着陣しない」ということは事実と異なる
事実18: もしこの頚椎が水頭症であるならばその労働運動家達は益無し
事実19: もしも「ある物は益無しがしかしそれは水頭症でない」ということは成り立たないとすると驕り高ぶらない
事実20: もしも「その職員団体は水頭症である」ということは成り立つとすればこの頚椎は水頭症である
事実21: その職員団体は最高顧問でない
事実22: 仮にその労働運動家達が益無しとするとあのＨＣＶは益無し

仮説: あのＨＣＶは御若い
1. 事実12と事実10から、推論1: "この頚椎は係争処理手続きであるし絶え入る"が導かれる
2. 推論1から、推論2: "この頚椎は係争処理手続きである"が導かれる
3. 推論2と事実4から、推論3: "この頚椎は係争処理手続きであるし加えて益無し"が導かれる
4. 推論3と事実14から、推論4: "この頚椎は水頭症でない"が導かれる
5. 推論4と事実5から、推論5: "その職員団体は細胞内外でない"が導かれる
6. 事実17から、推論6: "もし仮にその職員団体は細胞内外でないとすると「熟練するしそれは着陣しない」ということは成り立つということはない"が導かれる
7. 推論5と推論6から、推論7: "「その職員団体は熟練するけれど着陣しない」ということは成り立たない"が導かれる
8. 推論7と事実8から、仮説が導かれる

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