この政府負担金は欠かせらないけど冬眠する
fact1: 仮にとあるものは瀕しないか推計しないかもしくは両方ともだとすると大型化でない fact2: この政府負担金は垂れ込まないが瀕する fact3: もし仮にあの承継人が冬眠しないならばこの政府負担金は冬眠するかもしくはそれは滅菌しないかどちらもである fact4: あの承継人は垂れ込むしそれは確認し難い fact5: 「あの承継人は木目細かい」ということは成り立つ fact6: 「もしもあの承継人は滅菌しないとしたら「この現場管理者は滅菌するしまた五十嵐達だ」ということは事実でない」ということは事実である fact7: 「この現場管理者は垂れ込むしかつ五十嵐達である」ということは成り立たないとすると確認し難くない fact8: もしもこの現場管理者が瀕しないならばこの政府負担金は瀕しないかもしくは推計しないか両方だ fact9: もし仮になにがしかのものは滅菌するなら「それは木目細かくなくてまたそれは確認し難くない」ということは成り立たない fact10: 「なんらかのものは滅菌するし更にそれは五十嵐達だ」ということは偽だとすると瀕しない fact11: その未舗装は推計するし潰れ掛ける fact12: もし仮にこの政府負担金は大型化でないならば欠かせらないけれど冬眠する fact13: もし仮に「あの承継人は垂れ込むし木目細かい」ということは確かであるなら滅菌するということはない fact14: あの承継人は垂れ込むということはないかあるいは推計しないか両方ともだ
fact4 -> int1: あの承継人は垂れ込む; int1 & fact5 -> int2: あの承継人は垂れ込むししかも木目細かい; int2 & fact13 -> int3: あの承継人は滅菌しない; int3 & fact6 -> int4: 「この現場管理者は滅菌するしそれに五十嵐達である」ということは嘘だ; fact10 -> int5: もし仮に「この現場管理者は滅菌するししかも五十嵐達だ」ということは偽だとしたらそれは瀕しない; int4 & int5 -> int6: この現場管理者は瀕しない; int6 & fact8 -> int7: この政府負担金は瀕しないかあるいは推計しない; fact1 -> int8: もし仮にこの政府負担金は瀕しないかまたは推計しないかまたは両方ともであるならそれは大型化でない; int7 & int8 -> int9: この政府負担金は大型化であるということはない; int9 & fact12 -> hypothesis;
「この政府負担金は欠かせるということはないけれど冬眠する」ということは成り立つということはない
fact15 -> int10: もし仮にこの現場管理者は滅菌すれば「「木目細かくないしかつ確認し難くない」ということは誤りでない」ということは成り立たない;
$facts$ = fact1: 仮にとあるものは瀕しないか推計しないかもしくは両方ともだとすると大型化でない fact2: この政府負担金は垂れ込まないが瀕する fact3: もし仮にあの承継人が冬眠しないならばこの政府負担金は冬眠するかもしくはそれは滅菌しないかどちらもである fact4: あの承継人は垂れ込むしそれは確認し難い fact5: 「あの承継人は木目細かい」ということは成り立つ fact6: 「もしもあの承継人は滅菌しないとしたら「この現場管理者は滅菌するしまた五十嵐達だ」ということは事実でない」ということは事実である fact7: 「この現場管理者は垂れ込むしかつ五十嵐達である」ということは成り立たないとすると確認し難くない fact8: もしもこの現場管理者が瀕しないならばこの政府負担金は瀕しないかもしくは推計しないか両方だ fact9: もし仮になにがしかのものは滅菌するなら「それは木目細かくなくてまたそれは確認し難くない」ということは成り立たない fact10: 「なんらかのものは滅菌するし更にそれは五十嵐達だ」ということは偽だとすると瀕しない fact11: その未舗装は推計するし潰れ掛ける fact12: もし仮にこの政府負担金は大型化でないならば欠かせらないけれど冬眠する fact13: もし仮に「あの承継人は垂れ込むし木目細かい」ということは確かであるなら滅菌するということはない fact14: あの承継人は垂れ込むということはないかあるいは推計しないか両方ともだ ; $hypothesis$ = この政府負担金は欠かせらないけど冬眠する ; $proof$ = 
fact4 -> int1: あの承継人は垂れ込む; int1 & fact5 -> int2: あの承継人は垂れ込むししかも木目細かい; int2 & fact13 -> int3: あの承継人は滅菌しない; int3 & fact6 -> int4: 「この現場管理者は滅菌するしそれに五十嵐達である」ということは嘘だ; fact10 -> int5: もし仮に「この現場管理者は滅菌するししかも五十嵐達だ」ということは偽だとしたらそれは瀕しない; int4 & int5 -> int6: この現場管理者は瀕しない; int6 & fact8 -> int7: この政府負担金は瀕しないかあるいは推計しない; fact1 -> int8: もし仮にこの政府負担金は瀕しないかまたは推計しないかまたは両方ともであるならそれは大型化でない; int7 & int8 -> int9: この政府負担金は大型化であるということはない; int9 & fact12 -> hypothesis; __PROVED__
事実1: 仮にとあるものは瀕しないか推計しないかもしくは両方ともだとすると大型化でない
事実2: この政府負担金は垂れ込まないが瀕する
事実3: もし仮にあの承継人が冬眠しないならばこの政府負担金は冬眠するかもしくはそれは滅菌しないかどちらもである
事実4: あの承継人は垂れ込むしそれは確認し難い
事実5: 「あの承継人は木目細かい」ということは成り立つ
事実6: 「もしもあの承継人は滅菌しないとしたら「この現場管理者は滅菌するしまた五十嵐達だ」ということは事実でない」ということは事実である
事実7: 「この現場管理者は垂れ込むしかつ五十嵐達である」ということは成り立たないとすると確認し難くない
事実8: もしもこの現場管理者が瀕しないならばこの政府負担金は瀕しないかもしくは推計しないか両方だ
事実9: もし仮になにがしかのものは滅菌するなら「それは木目細かくなくてまたそれは確認し難くない」ということは成り立たない
事実10: 「なんらかのものは滅菌するし更にそれは五十嵐達だ」ということは偽だとすると瀕しない
事実11: その未舗装は推計するし潰れ掛ける
事実12: もし仮にこの政府負担金は大型化でないならば欠かせらないけれど冬眠する
事実13: もし仮に「あの承継人は垂れ込むし木目細かい」ということは確かであるなら滅菌するということはない
事実14: あの承継人は垂れ込むということはないかあるいは推計しないか両方ともだ

仮説: この政府負担金は欠かせらないけど冬眠する
1. 事実4から、推論1: "あの承継人は垂れ込む"が導かれる
2. 推論1と事実5から、推論2: "あの承継人は垂れ込むししかも木目細かい"が導かれる
3. 推論2と事実13から、推論3: "あの承継人は滅菌しない"が導かれる
4. 推論3と事実6から、推論4: "「この現場管理者は滅菌するしそれに五十嵐達である」ということは嘘だ"が導かれる
5. 事実10から、推論5: "もし仮に「この現場管理者は滅菌するししかも五十嵐達だ」ということは偽だとしたらそれは瀕しない"が導かれる
6. 推論4と推論5から、推論6: "この現場管理者は瀕しない"が導かれる
7. 推論6と事実8から、推論7: "この政府負担金は瀕しないかあるいは推計しない"が導かれる
8. 事実1から、推論8: "もし仮にこの政府負担金は瀕しないかまたは推計しないかまたは両方ともであるならそれは大型化でない"が導かれる
9. 推論7と推論8から、推論9: "この政府負担金は大型化であるということはない"が導かれる
10. 推論9と事実12から、仮説が導かれる

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