「あの出生頻度は安保理でないけど双手診だ」ということは誤りだ
fact1: もし仮に「あの出生頻度は安保理でないか双手診でないかあるいは両方ともだ」ということは偽だとするとそれは見交わさない fact2: なにがしかの物は献納する fact3: あの出生頻度は民族自決権でない fact4: この雑仕女は一段階だ fact5: もし仮に「あの出生頻度は遣り辛いしその上安保理である」ということは成り立つということはないとすればそれは安保理であるということはない fact6: もしもこの雑仕女は双手診でないとすれば「あの出生頻度は安保理でないが一段階だ」ということは間違っている fact7: あの進化・文明化は怪し fact8: もし「献納する」ものはあるとすれば「あの進化・文明化は見交わすということはない」ということは間違っていない fact9: もしもなにがしかの物が双手診でないならばあのアパート暮らしは引き出し易い fact10: 「あの出生頻度は継続し難くないかもしくはそれは遣り辛くない」ということは成り立たない fact11: 「あの出生頻度は安保理であるしおまけに双手診である」ということは誤っている fact12: 「もしも「とある物は一段階であるかあるいはそれは遣り辛くない」ということは成り立たないならそれは売り払わない」ということは嘘でない fact13: もし仮になんらかの物が一段階でないかあるいは遣り辛いということはないかあるいは両方ならあの進化・文明化は見交わす fact14: 「一段階であるかもしくは遣り辛くない」ものはある fact15: もし何かは一段階でないならば「それは遣り辛いしまたそれは安保理だ」ということは間違いである fact16: この雑仕女は一段階であるかまたは遣り辛くないか両方である fact17: 仮に「この雑仕女は売り払わない」ということは成り立つとしたら「あの出生頻度は安保理であるしそれに双手診だ」ということは誤っている fact18: もし「なにがしかの物は一段階でないかまたは遣り辛くない」ということは成り立たないならばそれは売り払わない fact19: もしこの雑仕女は売り払わないとすれば「あの出生頻度は安保理でない一方で双手診である」ということは誤りだ
void -> assump1: 以下のように仮定する。この雑仕女は一段階でないかまたはそれは遣り辛くない; assump1 -> int1: 「一段階でないか遣り辛くないか両方である」ものはある; int1 & fact13 -> int2: あの進化・文明化は見交わす; fact8 & fact2 -> int3: 「あの進化・文明化は見交わさない」ということは成り立つ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「この雑仕女は一段階でないかそれは遣り辛くないかもしくはどちらもだ」ということは嘘である」ということは事実だ; fact18 -> int6: 「この雑仕女は一段階でないか遣り辛くないかあるいは両方ともだ」ということは誤っているとすればそれは売り払わない; int5 & int6 -> int7: この雑仕女は売り払うということはない; int7 & fact19 -> hypothesis;
あの出生頻度は安保理でないが双手診だ
fact21 -> int8: もしもあの出生頻度は一段階でないなら「それは遣り辛いし安保理である」ということは成り立たない;
$facts$ = fact1: もし仮に「あの出生頻度は安保理でないか双手診でないかあるいは両方ともだ」ということは偽だとするとそれは見交わさない fact2: なにがしかの物は献納する fact3: あの出生頻度は民族自決権でない fact4: この雑仕女は一段階だ fact5: もし仮に「あの出生頻度は遣り辛いしその上安保理である」ということは成り立つということはないとすればそれは安保理であるということはない fact6: もしもこの雑仕女は双手診でないとすれば「あの出生頻度は安保理でないが一段階だ」ということは間違っている fact7: あの進化・文明化は怪し fact8: もし「献納する」ものはあるとすれば「あの進化・文明化は見交わすということはない」ということは間違っていない fact9: もしもなにがしかの物が双手診でないならばあのアパート暮らしは引き出し易い fact10: 「あの出生頻度は継続し難くないかもしくはそれは遣り辛くない」ということは成り立たない fact11: 「あの出生頻度は安保理であるしおまけに双手診である」ということは誤っている fact12: 「もしも「とある物は一段階であるかあるいはそれは遣り辛くない」ということは成り立たないならそれは売り払わない」ということは嘘でない fact13: もし仮になんらかの物が一段階でないかあるいは遣り辛いということはないかあるいは両方ならあの進化・文明化は見交わす fact14: 「一段階であるかもしくは遣り辛くない」ものはある fact15: もし何かは一段階でないならば「それは遣り辛いしまたそれは安保理だ」ということは間違いである fact16: この雑仕女は一段階であるかまたは遣り辛くないか両方である fact17: 仮に「この雑仕女は売り払わない」ということは成り立つとしたら「あの出生頻度は安保理であるしそれに双手診だ」ということは誤っている fact18: もし「なにがしかの物は一段階でないかまたは遣り辛くない」ということは成り立たないならばそれは売り払わない fact19: もしこの雑仕女は売り払わないとすれば「あの出生頻度は安保理でない一方で双手診である」ということは誤りだ ; $hypothesis$ = 「あの出生頻度は安保理でないけど双手診だ」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この雑仕女は一段階でないかまたはそれは遣り辛くない; assump1 -> int1: 「一段階でないか遣り辛くないか両方である」ものはある; int1 & fact13 -> int2: あの進化・文明化は見交わす; fact8 & fact2 -> int3: 「あの進化・文明化は見交わさない」ということは成り立つ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「「この雑仕女は一段階でないかそれは遣り辛くないかもしくはどちらもだ」ということは嘘である」ということは事実だ; fact18 -> int6: 「この雑仕女は一段階でないか遣り辛くないかあるいは両方ともだ」ということは誤っているとすればそれは売り払わない; int5 & int6 -> int7: この雑仕女は売り払うということはない; int7 & fact19 -> hypothesis; __PROVED__
事実1: もし仮に「あの出生頻度は安保理でないか双手診でないかあるいは両方ともだ」ということは偽だとするとそれは見交わさない
事実2: なにがしかの物は献納する
事実3: あの出生頻度は民族自決権でない
事実4: この雑仕女は一段階だ
事実5: もし仮に「あの出生頻度は遣り辛いしその上安保理である」ということは成り立つということはないとすればそれは安保理であるということはない
事実6: もしもこの雑仕女は双手診でないとすれば「あの出生頻度は安保理でないが一段階だ」ということは間違っている
事実7: あの進化・文明化は怪し
事実8: もし「献納する」ものはあるとすれば「あの進化・文明化は見交わすということはない」ということは間違っていない
事実9: もしもなにがしかの物が双手診でないならばあのアパート暮らしは引き出し易い
事実10: 「あの出生頻度は継続し難くないかもしくはそれは遣り辛くない」ということは成り立たない
事実11: 「あの出生頻度は安保理であるしおまけに双手診である」ということは誤っている
事実12: 「もしも「とある物は一段階であるかあるいはそれは遣り辛くない」ということは成り立たないならそれは売り払わない」ということは嘘でない
事実13: もし仮になんらかの物が一段階でないかあるいは遣り辛いということはないかあるいは両方ならあの進化・文明化は見交わす
事実14: 「一段階であるかもしくは遣り辛くない」ものはある
事実15: もし何かは一段階でないならば「それは遣り辛いしまたそれは安保理だ」ということは間違いである
事実16: この雑仕女は一段階であるかまたは遣り辛くないか両方である
事実17: 仮に「この雑仕女は売り払わない」ということは成り立つとしたら「あの出生頻度は安保理であるしそれに双手診だ」ということは誤っている
事実18: もし「なにがしかの物は一段階でないかまたは遣り辛くない」ということは成り立たないならばそれは売り払わない
事実19: もしこの雑仕女は売り払わないとすれば「あの出生頻度は安保理でない一方で双手診である」ということは誤りだ

仮説: 「あの出生頻度は安保理でないけど双手診だ」ということは誤りだ
1. 仮定1: 以下のように仮定する。この雑仕女は一段階でないかまたはそれは遣り辛くない
2. 仮定1から、推論1: "「一段階でないか遣り辛くないか両方である」ものはある"が導かれる
3. 推論1と事実13から、推論2: "あの進化・文明化は見交わす"が導かれる
4. 事実8と事実2から、推論3: "「あの進化・文明化は見交わさない」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「「この雑仕女は一段階でないかそれは遣り辛くないかもしくはどちらもだ」ということは嘘である」ということは事実だ"が導かれる
7. 事実18から、推論6: "「この雑仕女は一段階でないか遣り辛くないかあるいは両方ともだ」ということは誤っているとすればそれは売り払わない"が導かれる
8. 推論5と推論6から、推論7: "この雑仕女は売り払うということはない"が導かれる
9. 推論7と事実19から、仮説が導かれる

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