この岩木川下流域は受け入れ難くないけれど物寂しい
fact1: この岩木川下流域は受け入れ難くない fact2: 「冷たい物はバックアップ出来る」ということは真実である fact3: もしこの意向がシックスナインでないがしかし冷たいならばあの長期債務は冷たい fact4: このソヴィエト制は共同経営する fact5: あの撮像角度は共同経営する fact6: もしも「このソヴィエト制は共同経営しない一方でそれは薬種である」ということは嘘だとするとこの両領は共同経営するということはない fact7: もしこの両領が旅姿でないが上り尽くすなら「それは華々しくない」ということは事実と異ならない fact8: もし仮にこのソヴィエト制は物寂しいとすると「「共同経営しないが薬種だ」ということは確かである」ということは成り立つということはない fact9: もし仮にこの両領が上り尽くすということはないならこの岩木川下流域は薬種でないがそれは物寂しい fact10: もしもあの長期債務がバックアップ出来るとすればこのタブレットは渋面でないがそれは受け入れ難い fact11: もし仮にとある物は共同経営しないとすれば「それは旅姿であるということはない」ということは成り立つ fact12: もし仮にこの岩木川下流域が受け入れ難いとするとこのソヴィエト制は物寂しい fact13: もしもこの両領が上り尽くすとしたらこのソヴィエト制は華々しいということはないけれど右眉だ fact14: もしも「このタブレットは受け入れ難い」ということは事実だとしたらこの岩木川下流域は受け入れ難い fact15: もしもこのソヴィエト制は旅姿でないとすれば「それは共同経営しない」ということは偽でない fact16: もし仮にこの両領が華々しくてそれが上り尽くすならあの守護聖人は華々しくない fact17: もし仮にこのソヴィエト制は華々しくないけれど右眉であるとしたら旅姿でない
void -> assump1: 以下のように仮定する。この両領は上り尽くす; fact13 & assump1 -> int1: このソヴィエト制は華々しいということはない一方で右眉だ; int1 & fact17 -> int2: このソヴィエト制は旅姿でない; int2 & fact15 -> int3: 「このソヴィエト制は共同経営しない」ということは確かである; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: この両領は上り尽くさない; int5 & fact9 -> int6: この岩木川下流域は薬種でないがしかし物寂しい; int6 -> int7: この岩木川下流域は物寂しい; int7 & fact1 -> hypothesis;
あの守護聖人は華々しくない
fact26 -> int8: もしこの両領は共同経営しないならば「旅姿でない」ということは正しい; fact18 -> int9: もし仮にあの長期債務が冷たいとするとそれはバックアップ出来る;
$facts$ = fact1: この岩木川下流域は受け入れ難くない fact2: 「冷たい物はバックアップ出来る」ということは真実である fact3: もしこの意向がシックスナインでないがしかし冷たいならばあの長期債務は冷たい fact4: このソヴィエト制は共同経営する fact5: あの撮像角度は共同経営する fact6: もしも「このソヴィエト制は共同経営しない一方でそれは薬種である」ということは嘘だとするとこの両領は共同経営するということはない fact7: もしこの両領が旅姿でないが上り尽くすなら「それは華々しくない」ということは事実と異ならない fact8: もし仮にこのソヴィエト制は物寂しいとすると「「共同経営しないが薬種だ」ということは確かである」ということは成り立つということはない fact9: もし仮にこの両領が上り尽くすということはないならこの岩木川下流域は薬種でないがそれは物寂しい fact10: もしもあの長期債務がバックアップ出来るとすればこのタブレットは渋面でないがそれは受け入れ難い fact11: もし仮にとある物は共同経営しないとすれば「それは旅姿であるということはない」ということは成り立つ fact12: もし仮にこの岩木川下流域が受け入れ難いとするとこのソヴィエト制は物寂しい fact13: もしもこの両領が上り尽くすとしたらこのソヴィエト制は華々しいということはないけれど右眉だ fact14: もしも「このタブレットは受け入れ難い」ということは事実だとしたらこの岩木川下流域は受け入れ難い fact15: もしもこのソヴィエト制は旅姿でないとすれば「それは共同経営しない」ということは偽でない fact16: もし仮にこの両領が華々しくてそれが上り尽くすならあの守護聖人は華々しくない fact17: もし仮にこのソヴィエト制は華々しくないけれど右眉であるとしたら旅姿でない ; $hypothesis$ = この岩木川下流域は受け入れ難くないけれど物寂しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この両領は上り尽くす; fact13 & assump1 -> int1: このソヴィエト制は華々しいということはない一方で右眉だ; int1 & fact17 -> int2: このソヴィエト制は旅姿でない; int2 & fact15 -> int3: 「このソヴィエト制は共同経営しない」ということは確かである; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: この両領は上り尽くさない; int5 & fact9 -> int6: この岩木川下流域は薬種でないがしかし物寂しい; int6 -> int7: この岩木川下流域は物寂しい; int7 & fact1 -> hypothesis; __PROVED__
事実1: この岩木川下流域は受け入れ難くない
事実2: 「冷たい物はバックアップ出来る」ということは真実である
事実3: もしこの意向がシックスナインでないがしかし冷たいならばあの長期債務は冷たい
事実4: このソヴィエト制は共同経営する
事実5: あの撮像角度は共同経営する
事実6: もしも「このソヴィエト制は共同経営しない一方でそれは薬種である」ということは嘘だとするとこの両領は共同経営するということはない
事実7: もしこの両領が旅姿でないが上り尽くすなら「それは華々しくない」ということは事実と異ならない
事実8: もし仮にこのソヴィエト制は物寂しいとすると「「共同経営しないが薬種だ」ということは確かである」ということは成り立つということはない
事実9: もし仮にこの両領が上り尽くすということはないならこの岩木川下流域は薬種でないがそれは物寂しい
事実10: もしもあの長期債務がバックアップ出来るとすればこのタブレットは渋面でないがそれは受け入れ難い
事実11: もし仮にとある物は共同経営しないとすれば「それは旅姿であるということはない」ということは成り立つ
事実12: もし仮にこの岩木川下流域が受け入れ難いとするとこのソヴィエト制は物寂しい
事実13: もしもこの両領が上り尽くすとしたらこのソヴィエト制は華々しいということはないけれど右眉だ
事実14: もしも「このタブレットは受け入れ難い」ということは事実だとしたらこの岩木川下流域は受け入れ難い
事実15: もしもこのソヴィエト制は旅姿でないとすれば「それは共同経営しない」ということは偽でない
事実16: もし仮にこの両領が華々しくてそれが上り尽くすならあの守護聖人は華々しくない
事実17: もし仮にこのソヴィエト制は華々しくないけれど右眉であるとしたら旅姿でない

仮説: この岩木川下流域は受け入れ難くないけれど物寂しい
1. 仮定1: 以下のように仮定する。この両領は上り尽くす
2. 事実13と仮定1から、推論1: "このソヴィエト制は華々しいということはない一方で右眉だ"が導かれる
3. 推論1と事実17から、推論2: "このソヴィエト制は旅姿でない"が導かれる
4. 推論2と事実15から、推論3: "「このソヴィエト制は共同経営しない」ということは確かである"が導かれる
5. 推論3と事実4から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この両領は上り尽くさない"が導かれる
7. 推論5と事実9から、推論6: "この岩木川下流域は薬種でないがしかし物寂しい"が導かれる
8. 推論6から、推論7: "この岩木川下流域は物寂しい"が導かれる
9. 推論7と事実1から、仮説が導かれる

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