あの協議協定は棚卸しでない
fact1: 「あの協議協定は特許権であるけれどそれは自然らしくない」ということは成り立たない fact2: その契約手続きは乱後であるけど女々しかない fact3: 「卑しものは棚卸しである」ということは本当だ fact4: 「あの協議協定は自然らしくないけれど測り得る」ということは間違いだとすればそれは棚卸しでない fact5: このＨさんは自然らしいなら「あの協議協定は自然らしいということはないがしかし測り得る」ということは嘘である fact6: 仮に自然らしいものは乱後でないとすると卑しない fact7: もし仮にこの微塵子が卑しならあの共同制作は卑しない fact8: 仮にあの共同制作が乱後だがそれが卑しないとしたらこのＨさんは自然らしい fact9: 卑しないものは女々しいけれど標準であるということはない fact10: この微塵子が卑しないとするとその契約手続きが特許権だけどそれは女々しかない fact11: もしもこの微塵子が卑しとするとあの共同制作は乱後であるがしかし卑しない fact12: 特許権で女々しかないという物はない
void -> assump1: 以下のように仮定する。この微塵子は卑しない; fact10 & assump1 -> int1: その契約手続きは特許権だけれど女々しかない; fact12 -> int2: 「その契約手続きは特許権だ一方で女々しかない」ということは誤りだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この微塵子は卑し; int4 & fact11 -> int5: あの共同制作は乱後である一方で卑しない; int5 & fact8 -> int6: このＨさんは自然らしい; int6 & fact5 -> int7: 「あの協議協定は自然らしくないが測り得る」ということは間違いだ; int7 & fact4 -> hypothesis;
あの本紀は女々しいがしかし標準でない
fact13 -> int8: 仮にあの本紀が卑しないなら女々しいけれど標準でない; fact14 -> int9: もしあの本紀は自然らしいけど乱後でないならば「それは卑しない」ということは真実だ;
$facts$ = fact1: 「あの協議協定は特許権であるけれどそれは自然らしくない」ということは成り立たない fact2: その契約手続きは乱後であるけど女々しかない fact3: 「卑しものは棚卸しである」ということは本当だ fact4: 「あの協議協定は自然らしくないけれど測り得る」ということは間違いだとすればそれは棚卸しでない fact5: このＨさんは自然らしいなら「あの協議協定は自然らしいということはないがしかし測り得る」ということは嘘である fact6: 仮に自然らしいものは乱後でないとすると卑しない fact7: もし仮にこの微塵子が卑しならあの共同制作は卑しない fact8: 仮にあの共同制作が乱後だがそれが卑しないとしたらこのＨさんは自然らしい fact9: 卑しないものは女々しいけれど標準であるということはない fact10: この微塵子が卑しないとするとその契約手続きが特許権だけどそれは女々しかない fact11: もしもこの微塵子が卑しとするとあの共同制作は乱後であるがしかし卑しない fact12: 特許権で女々しかないという物はない ; $hypothesis$ = あの協議協定は棚卸しでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この微塵子は卑しない; fact10 & assump1 -> int1: その契約手続きは特許権だけれど女々しかない; fact12 -> int2: 「その契約手続きは特許権だ一方で女々しかない」ということは誤りだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この微塵子は卑し; int4 & fact11 -> int5: あの共同制作は乱後である一方で卑しない; int5 & fact8 -> int6: このＨさんは自然らしい; int6 & fact5 -> int7: 「あの協議協定は自然らしくないが測り得る」ということは間違いだ; int7 & fact4 -> hypothesis; __PROVED__
事実1: 「あの協議協定は特許権であるけれどそれは自然らしくない」ということは成り立たない
事実2: その契約手続きは乱後であるけど女々しかない
事実3: 「卑しものは棚卸しである」ということは本当だ
事実4: 「あの協議協定は自然らしくないけれど測り得る」ということは間違いだとすればそれは棚卸しでない
事実5: このＨさんは自然らしいなら「あの協議協定は自然らしいということはないがしかし測り得る」ということは嘘である
事実6: 仮に自然らしいものは乱後でないとすると卑しない
事実7: もし仮にこの微塵子が卑しならあの共同制作は卑しない
事実8: 仮にあの共同制作が乱後だがそれが卑しないとしたらこのＨさんは自然らしい
事実9: 卑しないものは女々しいけれど標準であるということはない
事実10: この微塵子が卑しないとするとその契約手続きが特許権だけどそれは女々しかない
事実11: もしもこの微塵子が卑しとするとあの共同制作は乱後であるがしかし卑しない
事実12: 特許権で女々しかないという物はない

仮説: あの協議協定は棚卸しでない
1. 仮定1: 以下のように仮定する。この微塵子は卑しない
2. 事実10と仮定1から、推論1: "その契約手続きは特許権だけれど女々しかない"が導かれる
3. 事実12から、推論2: "「その契約手続きは特許権だ一方で女々しかない」ということは誤りだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この微塵子は卑し"が導かれる
6. 推論4と事実11から、推論5: "あの共同制作は乱後である一方で卑しない"が導かれる
7. 推論5と事実8から、推論6: "このＨさんは自然らしい"が導かれる
8. 推論6と事実5から、推論7: "「あの協議協定は自然らしくないが測り得る」ということは間違いだ"が導かれる
9. 推論7と事実4から、仮説が導かれる

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