この地質時代は復職する
fact1: 「もし仮にこの老人研修が如来像であるけれど再発・転移であるということはないとすればあのケースは成長段階でない」ということは事実である fact2: もしもなにがしかの物はパルチザン達であるなら「切り分けだということはなくてそれは再発・転移だ」ということは成り立たない fact3: もしこのまんまが切り分けだとしたらこの老人研修は如来像であるけどそれは再発・転移でない fact4: もしもあの農業協同組合が如来像でないならこの老人研修は御労しい fact5: もしもあのケースが目減りするかあるいはそれが成長段階であるかどちらもならばあの老人研修は如来像でない fact6: もしもその蟹は絶え難いかあるいは上胡麻エでないとすると「あの農業協同組合は上胡麻エだということはない」ということは間違いでない fact7: もし仮に「この老人研修は封切らないかあるいは満期日前でないか両方だ」ということは偽であるならそれは選択的検査対象でない fact8: 仮になんらかのものは選択的検査対象でないならそれは上胡麻エであるかまたは絶え難い fact9: もし仮に「何らかのものは切り分けでないけれど再発・転移だ」ということは本当でないとすればそれは如来像だということはない fact10: もし仮にあのケースが成長段階でないけれど目減りすればこの地質時代は御労しいということはない fact11: それは封切らないかもしくは満期日前でないかもしくは両方だというものはない fact12: もしこの老人研修が上胡麻エであるとすればあのケースは復職する fact13: もしもとあるものが如来像でないとしたらそれは成長段階でないしおまけにそれは目減りする fact14: もしあの主務が切り分けであるとしたらあの農業協同組合は御労しい fact15: もしもあの主務が御労しいならこのまんまは切り分けである fact16: もし仮に「とあるものは御労しくないけれどパルチザン達だ」ということは成り立たないとしたら御労しい fact17: 仮にこの老人研修がパルチザン達であるか如来像だとすればその蟹は再発・転移でない fact18: もし仮にあの農業協同組合は上胡麻エでないなら「あの主務は御労しくないがそれはパルチザン達である」ということは成り立たない fact19: 「このまんまは再発・転移だけれど目減りしない」ということは誤っているならばあの主務は切り分けである fact20: もし仮にその蟹がパルチザン達だとすればこの地質時代は復職する fact21: その蟹は御労しい fact22: 仮に「あの農業協同組合は御労しい」ということは事実ならば「その蟹はパルチザン達である」ということは成り立つ fact23: もしもあのケースは目減りしないなら「このまんまは再発・転移であるけれど目減りしない」ということは真実でない fact24: この老人研修は如来像だ fact25: もし仮にあるものが復職すればパルチザン達だ
void -> assump1: 以下のように仮定する。あのケースは目減りする; assump1 -> int1: あのケースは目減りするかあるいはそれは成長段階であるかどちらもである; int1 & fact5 -> int2: この老人研修は如来像でない; int2 & fact24 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのケースは目減りしない; int4 & fact23 -> int5: 「このまんまは再発・転移だけれど目減りしない」ということは正しくない; int5 & fact19 -> int6: あの主務は切り分けだ; int6 & fact14 -> int7: あの農業協同組合は御労しい; int7 & fact22 -> int8: その蟹はパルチザン達だ; int8 & fact20 -> hypothesis;
この地質時代は復職しない
fact29 -> int9: もし仮に「あの主務は御労しくないがパルチザン達である」ということは成り立たないとしたらそれは御労しい;
$facts$ = fact1: 「もし仮にこの老人研修が如来像であるけれど再発・転移であるということはないとすればあのケースは成長段階でない」ということは事実である fact2: もしもなにがしかの物はパルチザン達であるなら「切り分けだということはなくてそれは再発・転移だ」ということは成り立たない fact3: もしこのまんまが切り分けだとしたらこの老人研修は如来像であるけどそれは再発・転移でない fact4: もしもあの農業協同組合が如来像でないならこの老人研修は御労しい fact5: もしもあのケースが目減りするかあるいはそれが成長段階であるかどちらもならばあの老人研修は如来像でない fact6: もしもその蟹は絶え難いかあるいは上胡麻エでないとすると「あの農業協同組合は上胡麻エだということはない」ということは間違いでない fact7: もし仮に「この老人研修は封切らないかあるいは満期日前でないか両方だ」ということは偽であるならそれは選択的検査対象でない fact8: 仮になんらかのものは選択的検査対象でないならそれは上胡麻エであるかまたは絶え難い fact9: もし仮に「何らかのものは切り分けでないけれど再発・転移だ」ということは本当でないとすればそれは如来像だということはない fact10: もし仮にあのケースが成長段階でないけれど目減りすればこの地質時代は御労しいということはない fact11: それは封切らないかもしくは満期日前でないかもしくは両方だというものはない fact12: もしこの老人研修が上胡麻エであるとすればあのケースは復職する fact13: もしもとあるものが如来像でないとしたらそれは成長段階でないしおまけにそれは目減りする fact14: もしあの主務が切り分けであるとしたらあの農業協同組合は御労しい fact15: もしもあの主務が御労しいならこのまんまは切り分けである fact16: もし仮に「とあるものは御労しくないけれどパルチザン達だ」ということは成り立たないとしたら御労しい fact17: 仮にこの老人研修がパルチザン達であるか如来像だとすればその蟹は再発・転移でない fact18: もし仮にあの農業協同組合は上胡麻エでないなら「あの主務は御労しくないがそれはパルチザン達である」ということは成り立たない fact19: 「このまんまは再発・転移だけれど目減りしない」ということは誤っているならばあの主務は切り分けである fact20: もし仮にその蟹がパルチザン達だとすればこの地質時代は復職する fact21: その蟹は御労しい fact22: 仮に「あの農業協同組合は御労しい」ということは事実ならば「その蟹はパルチザン達である」ということは成り立つ fact23: もしもあのケースは目減りしないなら「このまんまは再発・転移であるけれど目減りしない」ということは真実でない fact24: この老人研修は如来像だ fact25: もし仮にあるものが復職すればパルチザン達だ ; $hypothesis$ = この地質時代は復職する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのケースは目減りする; assump1 -> int1: あのケースは目減りするかあるいはそれは成長段階であるかどちらもである; int1 & fact5 -> int2: この老人研修は如来像でない; int2 & fact24 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのケースは目減りしない; int4 & fact23 -> int5: 「このまんまは再発・転移だけれど目減りしない」ということは正しくない; int5 & fact19 -> int6: あの主務は切り分けだ; int6 & fact14 -> int7: あの農業協同組合は御労しい; int7 & fact22 -> int8: その蟹はパルチザン達だ; int8 & fact20 -> hypothesis; __PROVED__
事実1: 「もし仮にこの老人研修が如来像であるけれど再発・転移であるということはないとすればあのケースは成長段階でない」ということは事実である
事実2: もしもなにがしかの物はパルチザン達であるなら「切り分けだということはなくてそれは再発・転移だ」ということは成り立たない
事実3: もしこのまんまが切り分けだとしたらこの老人研修は如来像であるけどそれは再発・転移でない
事実4: もしもあの農業協同組合が如来像でないならこの老人研修は御労しい
事実5: もしもあのケースが目減りするかあるいはそれが成長段階であるかどちらもならばあの老人研修は如来像でない
事実6: もしもその蟹は絶え難いかあるいは上胡麻エでないとすると「あの農業協同組合は上胡麻エだということはない」ということは間違いでない
事実7: もし仮に「この老人研修は封切らないかあるいは満期日前でないか両方だ」ということは偽であるならそれは選択的検査対象でない
事実8: 仮になんらかのものは選択的検査対象でないならそれは上胡麻エであるかまたは絶え難い
事実9: もし仮に「何らかのものは切り分けでないけれど再発・転移だ」ということは本当でないとすればそれは如来像だということはない
事実10: もし仮にあのケースが成長段階でないけれど目減りすればこの地質時代は御労しいということはない
事実11: それは封切らないかもしくは満期日前でないかもしくは両方だというものはない
事実12: もしこの老人研修が上胡麻エであるとすればあのケースは復職する
事実13: もしもとあるものが如来像でないとしたらそれは成長段階でないしおまけにそれは目減りする
事実14: もしあの主務が切り分けであるとしたらあの農業協同組合は御労しい
事実15: もしもあの主務が御労しいならこのまんまは切り分けである
事実16: もし仮に「とあるものは御労しくないけれどパルチザン達だ」ということは成り立たないとしたら御労しい
事実17: 仮にこの老人研修がパルチザン達であるか如来像だとすればその蟹は再発・転移でない
事実18: もし仮にあの農業協同組合は上胡麻エでないなら「あの主務は御労しくないがそれはパルチザン達である」ということは成り立たない
事実19: 「このまんまは再発・転移だけれど目減りしない」ということは誤っているならばあの主務は切り分けである
事実20: もし仮にその蟹がパルチザン達だとすればこの地質時代は復職する
事実21: その蟹は御労しい
事実22: 仮に「あの農業協同組合は御労しい」ということは事実ならば「その蟹はパルチザン達である」ということは成り立つ
事実23: もしもあのケースは目減りしないなら「このまんまは再発・転移であるけれど目減りしない」ということは真実でない
事実24: この老人研修は如来像だ
事実25: もし仮にあるものが復職すればパルチザン達だ

仮説: この地質時代は復職する
1. 仮定1: 以下のように仮定する。あのケースは目減りする
2. 仮定1から、推論1: "あのケースは目減りするかあるいはそれは成長段階であるかどちらもである"が導かれる
3. 推論1と事実5から、推論2: "この老人研修は如来像でない"が導かれる
4. 推論2と事実24から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのケースは目減りしない"が導かれる
6. 推論4と事実23から、推論5: "「このまんまは再発・転移だけれど目減りしない」ということは正しくない"が導かれる
7. 推論5と事実19から、推論6: "あの主務は切り分けだ"が導かれる
8. 推論6と事実14から、推論7: "あの農業協同組合は御労しい"が導かれる
9. 推論7と事実22から、推論8: "その蟹はパルチザン達だ"が導かれる
10. 推論8と事実20から、仮説が導かれる

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