「あのナチス・ドイツは要約出来ないけれど看過し難い」ということは正しくない
fact1: もしも「あのセルＥは大人らしくない」ということは成り立つとすれば「この千八百二十年代は居辛いしかつどうして行ける」ということは成り立たない fact2: もし仮にあのセルＥが居辛くないとしたらあのナチス・ドイツは要約出来ないが看過し難い fact3: あのセルＥは床しいけれどどうして行けないとすれば「それは居辛い」ということは成り立つ fact4: あのセルＥは識別する fact5: 仮に「何らかのものは著しかないかあるいは大人らしいか両方である」ということは偽だとするとそれはどうして行けない fact6: 「あのナチス・ドイツは要約出来ない」ということは本当だとしたら「この千八百二十年代は看過し難くないがしかしそれはどうして行ける」ということは間違っている fact7: この千八百二十年代は居辛い fact8: もし仮にあのセルＥが床しいし加えて識別するなら珍しかない fact9: この政府情報は識別する fact10: あのセルＥは要約出来る fact11: 「この千八百二十年代は著しかないかもしくは大人らしいかもしくは両方だ」ということは成り立たない fact12: もし仮にこの千八百二十年代が居辛い一方でどうして行けるということはないとしたらあのセルＥは床しい fact13: この千八百二十年代は大人らしいということはない fact14: もし仮にあのセルＥは珍しかないなら「あのナチス・ドイツは要約出来るということはないけど看過し難い」ということは真実でない fact15: もし仮に「あのセルＥは居辛い」ということは成り立つとすればこの三省県道は大人らしい
fact5 -> int1: 仮に「この千八百二十年代は著しかないかもしくはそれは大人らしいかあるいはどちらもだ」ということは誤りだとするとどうして行けない; int1 & fact11 -> int2: この千八百二十年代はどうして行けない; int2 & fact7 -> int3: この千八百二十年代は居辛い一方でどうして行けない; int3 & fact12 -> int4: あのセルＥは床しい; int4 & fact4 -> int5: あのセルＥは床しくて識別する; int5 & fact8 -> int6: あのセルＥは珍しかない; int6 & fact14 -> hypothesis;
あのナチス・ドイツは要約出来ない一方で看過し難い
$facts$ = fact1: もしも「あのセルＥは大人らしくない」ということは成り立つとすれば「この千八百二十年代は居辛いしかつどうして行ける」ということは成り立たない fact2: もし仮にあのセルＥが居辛くないとしたらあのナチス・ドイツは要約出来ないが看過し難い fact3: あのセルＥは床しいけれどどうして行けないとすれば「それは居辛い」ということは成り立つ fact4: あのセルＥは識別する fact5: 仮に「何らかのものは著しかないかあるいは大人らしいか両方である」ということは偽だとするとそれはどうして行けない fact6: 「あのナチス・ドイツは要約出来ない」ということは本当だとしたら「この千八百二十年代は看過し難くないがしかしそれはどうして行ける」ということは間違っている fact7: この千八百二十年代は居辛い fact8: もし仮にあのセルＥが床しいし加えて識別するなら珍しかない fact9: この政府情報は識別する fact10: あのセルＥは要約出来る fact11: 「この千八百二十年代は著しかないかもしくは大人らしいかもしくは両方だ」ということは成り立たない fact12: もし仮にこの千八百二十年代が居辛い一方でどうして行けるということはないとしたらあのセルＥは床しい fact13: この千八百二十年代は大人らしいということはない fact14: もし仮にあのセルＥは珍しかないなら「あのナチス・ドイツは要約出来るということはないけど看過し難い」ということは真実でない fact15: もし仮に「あのセルＥは居辛い」ということは成り立つとすればこの三省県道は大人らしい ; $hypothesis$ = 「あのナチス・ドイツは要約出来ないけれど看過し難い」ということは正しくない ; $proof$ = 
fact5 -> int1: 仮に「この千八百二十年代は著しかないかもしくはそれは大人らしいかあるいはどちらもだ」ということは誤りだとするとどうして行けない; int1 & fact11 -> int2: この千八百二十年代はどうして行けない; int2 & fact7 -> int3: この千八百二十年代は居辛い一方でどうして行けない; int3 & fact12 -> int4: あのセルＥは床しい; int4 & fact4 -> int5: あのセルＥは床しくて識別する; int5 & fact8 -> int6: あのセルＥは珍しかない; int6 & fact14 -> hypothesis; __PROVED__
事実1: もしも「あのセルＥは大人らしくない」ということは成り立つとすれば「この千八百二十年代は居辛いしかつどうして行ける」ということは成り立たない
事実2: もし仮にあのセルＥが居辛くないとしたらあのナチス・ドイツは要約出来ないが看過し難い
事実3: あのセルＥは床しいけれどどうして行けないとすれば「それは居辛い」ということは成り立つ
事実4: あのセルＥは識別する
事実5: 仮に「何らかのものは著しかないかあるいは大人らしいか両方である」ということは偽だとするとそれはどうして行けない
事実6: 「あのナチス・ドイツは要約出来ない」ということは本当だとしたら「この千八百二十年代は看過し難くないがしかしそれはどうして行ける」ということは間違っている
事実7: この千八百二十年代は居辛い
事実8: もし仮にあのセルＥが床しいし加えて識別するなら珍しかない
事実9: この政府情報は識別する
事実10: あのセルＥは要約出来る
事実11: 「この千八百二十年代は著しかないかもしくは大人らしいかもしくは両方だ」ということは成り立たない
事実12: もし仮にこの千八百二十年代が居辛い一方でどうして行けるということはないとしたらあのセルＥは床しい
事実13: この千八百二十年代は大人らしいということはない
事実14: もし仮にあのセルＥは珍しかないなら「あのナチス・ドイツは要約出来るということはないけど看過し難い」ということは真実でない
事実15: もし仮に「あのセルＥは居辛い」ということは成り立つとすればこの三省県道は大人らしい

仮説: 「あのナチス・ドイツは要約出来ないけれど看過し難い」ということは正しくない
1. 事実5から、推論1: "仮に「この千八百二十年代は著しかないかもしくはそれは大人らしいかあるいはどちらもだ」ということは誤りだとするとどうして行けない"が導かれる
2. 推論1と事実11から、推論2: "この千八百二十年代はどうして行けない"が導かれる
3. 推論2と事実7から、推論3: "この千八百二十年代は居辛い一方でどうして行けない"が導かれる
4. 推論3と事実12から、推論4: "あのセルＥは床しい"が導かれる
5. 推論4と事実4から、推論5: "あのセルＥは床しくて識別する"が導かれる
6. 推論5と事実8から、推論6: "あのセルＥは珍しかない"が導かれる
7. 推論6と事実14から、仮説が導かれる

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