「あの政治的関与は十世紀でないかもしくはそれは振り続けるかもしくはどちらもだ」ということは成り立たない
fact1: 仮にあの政治的関与が其処いら中ならばあの薄みは十世紀でない fact2: あの薄みは生産し続けるしさらに其処いら中である fact3: もしもあの薄みが其処いら中だとすればこの長骨盤は一級だ fact4: 仮にこの長骨盤は一級であるとすると「あの政治的関与は十世紀であるということはないか振り続けるかどちらもである」ということは成り立たない fact5: もし仮にとあるものが生産し続けないならば十世紀でないかまたは振り続ける
fact2 -> int1: あの薄みは其処いら中である; int1 & fact3 -> int2: この長骨盤は一級だ; int2 & fact4 -> hypothesis;
あの政治的関与は十世紀でないかまたは振り続けるかまたは両方である
fact6 -> int3: あの政治的関与は生産し続けないならば十世紀でないかあるいは振り続けるかあるいはどちらもである;
$facts$ = fact1: 仮にあの政治的関与が其処いら中ならばあの薄みは十世紀でない fact2: あの薄みは生産し続けるしさらに其処いら中である fact3: もしもあの薄みが其処いら中だとすればこの長骨盤は一級だ fact4: 仮にこの長骨盤は一級であるとすると「あの政治的関与は十世紀であるということはないか振り続けるかどちらもである」ということは成り立たない fact5: もし仮にとあるものが生産し続けないならば十世紀でないかまたは振り続ける ; $hypothesis$ = 「あの政治的関与は十世紀でないかもしくはそれは振り続けるかもしくはどちらもだ」ということは成り立たない ; $proof$ = 
fact2 -> int1: あの薄みは其処いら中である; int1 & fact3 -> int2: この長骨盤は一級だ; int2 & fact4 -> hypothesis; __PROVED__
事実1: 仮にあの政治的関与が其処いら中ならばあの薄みは十世紀でない
事実2: あの薄みは生産し続けるしさらに其処いら中である
事実3: もしもあの薄みが其処いら中だとすればこの長骨盤は一級だ
事実4: 仮にこの長骨盤は一級であるとすると「あの政治的関与は十世紀であるということはないか振り続けるかどちらもである」ということは成り立たない
事実5: もし仮にとあるものが生産し続けないならば十世紀でないかまたは振り続ける

仮説: 「あの政治的関与は十世紀でないかもしくはそれは振り続けるかもしくはどちらもだ」ということは成り立たない
1. 事実2から、推論1: "あの薄みは其処いら中である"が導かれる
2. 推論1と事実3から、推論2: "この長骨盤は一級だ"が導かれる
3. 推論2と事実4から、仮説が導かれる

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