あの住居地域は御公儀だ
fact1: もしそのアートマが捨て難いとしたらそれは商行為法だ fact2: 「その培養期間は習慣付けない」ということは事実だとしたら「あの住居地域は御公儀だ」ということは事実である fact3: もし仮にそのＬＩＳＡが御公儀でないかエンタシスであるか両方ならばあの住居地域は御公儀でない fact4: もし仮になにかはエンタシスであるか立ち上がり掛ければその検事さんは拭い難い fact5: もしもそのＬＩＳＡはエンタシスでないとしたら「この数日中は日付けデータであるということはなくてしかも弱しということはない」ということは正しいということはない fact6: そのアートマは捨て難いかまたは憎らしいかもしくはどちらもだ fact7: もし仮に「この数日中は日付けデータだということはないし更に弱しない」ということは確かでないとしたらその培養期間は習慣付けない fact8: もしもその検事さんが拭い難いとすればあの前史は拭い難くないけど生息域である fact9: そのアートマが憎らしいなら商行為法である fact10: そのアートマは生息域だということはない fact11: そのアートマが生息域であるということはないがしかし商行為法であるとしたらこの前史は生息域でない
void -> assump1: 以下のように仮定する。そのＬＩＳＡはエンタシスである; assump1 -> int1: そのＬＩＳＡはエンタシスであるかあるいは立ち上がり掛けるか両方ともである; int1 -> int2: なにがしかのものはエンタシスであるかもしくは立ち上がり掛ける; int2 & fact4 -> int3: その検事さんは拭い難い; int3 & fact8 -> int4: この前史は拭い難くないけど生息域である; int4 -> int5: この前史は生息域である; fact9 & fact6 & fact1 -> int6: そのアートマは商行為法だ; fact10 & int6 -> int7: そのアートマは生息域でない一方で商行為法である; fact11 & int7 -> int8: この前史は生息域でない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: そのＬＩＳＡはエンタシスだということはない; int10 & fact5 -> int11: 「この数日中は日付けデータでなくてその上弱しということはない」ということは誤りだ; int11 & fact7 -> int12: その培養期間は習慣付けない; int12 & fact2 -> hypothesis;
あの住居地域は御公儀だということはない
$facts$ = fact1: もしそのアートマが捨て難いとしたらそれは商行為法だ fact2: 「その培養期間は習慣付けない」ということは事実だとしたら「あの住居地域は御公儀だ」ということは事実である fact3: もし仮にそのＬＩＳＡが御公儀でないかエンタシスであるか両方ならばあの住居地域は御公儀でない fact4: もし仮になにかはエンタシスであるか立ち上がり掛ければその検事さんは拭い難い fact5: もしもそのＬＩＳＡはエンタシスでないとしたら「この数日中は日付けデータであるということはなくてしかも弱しということはない」ということは正しいということはない fact6: そのアートマは捨て難いかまたは憎らしいかもしくはどちらもだ fact7: もし仮に「この数日中は日付けデータだということはないし更に弱しない」ということは確かでないとしたらその培養期間は習慣付けない fact8: もしもその検事さんが拭い難いとすればあの前史は拭い難くないけど生息域である fact9: そのアートマが憎らしいなら商行為法である fact10: そのアートマは生息域だということはない fact11: そのアートマが生息域であるということはないがしかし商行為法であるとしたらこの前史は生息域でない ; $hypothesis$ = あの住居地域は御公儀だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＬＩＳＡはエンタシスである; assump1 -> int1: そのＬＩＳＡはエンタシスであるかあるいは立ち上がり掛けるか両方ともである; int1 -> int2: なにがしかのものはエンタシスであるかもしくは立ち上がり掛ける; int2 & fact4 -> int3: その検事さんは拭い難い; int3 & fact8 -> int4: この前史は拭い難くないけど生息域である; int4 -> int5: この前史は生息域である; fact9 & fact6 & fact1 -> int6: そのアートマは商行為法だ; fact10 & int6 -> int7: そのアートマは生息域でない一方で商行為法である; fact11 & int7 -> int8: この前史は生息域でない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: そのＬＩＳＡはエンタシスだということはない; int10 & fact5 -> int11: 「この数日中は日付けデータでなくてその上弱しということはない」ということは誤りだ; int11 & fact7 -> int12: その培養期間は習慣付けない; int12 & fact2 -> hypothesis; __PROVED__
事実1: もしそのアートマが捨て難いとしたらそれは商行為法だ
事実2: 「その培養期間は習慣付けない」ということは事実だとしたら「あの住居地域は御公儀だ」ということは事実である
事実3: もし仮にそのＬＩＳＡが御公儀でないかエンタシスであるか両方ならばあの住居地域は御公儀でない
事実4: もし仮になにかはエンタシスであるか立ち上がり掛ければその検事さんは拭い難い
事実5: もしもそのＬＩＳＡはエンタシスでないとしたら「この数日中は日付けデータであるということはなくてしかも弱しということはない」ということは正しいということはない
事実6: そのアートマは捨て難いかまたは憎らしいかもしくはどちらもだ
事実7: もし仮に「この数日中は日付けデータだということはないし更に弱しない」ということは確かでないとしたらその培養期間は習慣付けない
事実8: もしもその検事さんが拭い難いとすればあの前史は拭い難くないけど生息域である
事実9: そのアートマが憎らしいなら商行為法である
事実10: そのアートマは生息域だということはない
事実11: そのアートマが生息域であるということはないがしかし商行為法であるとしたらこの前史は生息域でない

仮説: あの住居地域は御公儀だ
1. 仮定1: 以下のように仮定する。そのＬＩＳＡはエンタシスである
2. 仮定1から、推論1: "そのＬＩＳＡはエンタシスであるかあるいは立ち上がり掛けるか両方ともである"が導かれる
3. 推論1から、推論2: "なにがしかのものはエンタシスであるかもしくは立ち上がり掛ける"が導かれる
4. 推論2と事実4から、推論3: "その検事さんは拭い難い"が導かれる
5. 推論3と事実8から、推論4: "この前史は拭い難くないけど生息域である"が導かれる
6. 推論4から、推論5: "この前史は生息域である"が導かれる
7. 事実9と事実6と事実1から、推論6: "そのアートマは商行為法だ"が導かれる
8. 事実10と推論6から、推論7: "そのアートマは生息域でない一方で商行為法である"が導かれる
9. 事実11と推論7から、推論8: "この前史は生息域でない"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "そのＬＩＳＡはエンタシスだということはない"が導かれる
12. 推論10と事実5から、推論11: "「この数日中は日付けデータでなくてその上弱しということはない」ということは誤りだ"が導かれる
13. 推論11と事実7から、推論12: "その培養期間は習慣付けない"が導かれる
14. 推論12と事実2から、仮説が導かれる

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