あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでない
fact1: 仮に「なにかは黄色っぽいし離れ難い」ということは事実と異なるとすると予備隊員でない fact2: もしもあの口分田が切り裂けるがしかし詮無いということはないならそれは予備隊員でない fact3: 離れ難くないものはリプロダクティブ・ヘルス／ライツであるが予備隊員でない fact4: もしも「そのオルターナティブは逮捕・勾留しなくて更に再試験でない」ということは間違いであるとすると予備隊員だ fact5: あの口分田は切り裂ける一方で詮無くない fact6: そのオルターナティブが離れ難くないとするとそれは予備隊員でない fact7: もし仮にあの口分田は陥り易いがしかし黄色っぽくないならばリプロダクティブ・ヘルス／ライツでない fact8: あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでないならば「そのオルターナティブは逮捕・勾留しなくてかつそれは再試験だということはない」ということは偽だ fact9: 「そのオルターナティブは黄色っぽくてかつ離れ難い」ということは真実でない fact10: そのオルターナティブはリプロダクティブ・ヘルス／ライツである
void -> assump1: 以下のように仮定する。「あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでない」ということは成り立つ; fact8 & assump1 -> int1: 「そのオルターナティブは逮捕・勾留しなくて再試験でない」ということは嘘である; int1 & fact4 -> int2: そのオルターナティブは予備隊員である; fact1 -> int3: もし「そのオルターナティブは黄色っぽいしそれにそれは離れ難い」ということは誤りだとしたら予備隊員でない; int3 & fact9 -> int4: そのオルターナティブは予備隊員でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでない
fact11 -> int6: もし仮にそのオルターナティブが離れ難くないならばそれはリプロダクティブ・ヘルス／ライツである一方で予備隊員でない;
$facts$ = fact1: 仮に「なにかは黄色っぽいし離れ難い」ということは事実と異なるとすると予備隊員でない fact2: もしもあの口分田が切り裂けるがしかし詮無いということはないならそれは予備隊員でない fact3: 離れ難くないものはリプロダクティブ・ヘルス／ライツであるが予備隊員でない fact4: もしも「そのオルターナティブは逮捕・勾留しなくて更に再試験でない」ということは間違いであるとすると予備隊員だ fact5: あの口分田は切り裂ける一方で詮無くない fact6: そのオルターナティブが離れ難くないとするとそれは予備隊員でない fact7: もし仮にあの口分田は陥り易いがしかし黄色っぽくないならばリプロダクティブ・ヘルス／ライツでない fact8: あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでないならば「そのオルターナティブは逮捕・勾留しなくてかつそれは再試験だということはない」ということは偽だ fact9: 「そのオルターナティブは黄色っぽくてかつ離れ難い」ということは真実でない fact10: そのオルターナティブはリプロダクティブ・ヘルス／ライツである ; $hypothesis$ = あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでない」ということは成り立つ; fact8 & assump1 -> int1: 「そのオルターナティブは逮捕・勾留しなくて再試験でない」ということは嘘である; int1 & fact4 -> int2: そのオルターナティブは予備隊員である; fact1 -> int3: もし「そのオルターナティブは黄色っぽいしそれにそれは離れ難い」ということは誤りだとしたら予備隊員でない; int3 & fact9 -> int4: そのオルターナティブは予備隊員でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 仮に「なにかは黄色っぽいし離れ難い」ということは事実と異なるとすると予備隊員でない
事実2: もしもあの口分田が切り裂けるがしかし詮無いということはないならそれは予備隊員でない
事実3: 離れ難くないものはリプロダクティブ・ヘルス／ライツであるが予備隊員でない
事実4: もしも「そのオルターナティブは逮捕・勾留しなくて更に再試験でない」ということは間違いであるとすると予備隊員だ
事実5: あの口分田は切り裂ける一方で詮無くない
事実6: そのオルターナティブが離れ難くないとするとそれは予備隊員でない
事実7: もし仮にあの口分田は陥り易いがしかし黄色っぽくないならばリプロダクティブ・ヘルス／ライツでない
事実8: あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでないならば「そのオルターナティブは逮捕・勾留しなくてかつそれは再試験だということはない」ということは偽だ
事実9: 「そのオルターナティブは黄色っぽくてかつ離れ難い」ということは真実でない
事実10: そのオルターナティブはリプロダクティブ・ヘルス／ライツである

仮説: あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでない
1. 仮定1: 以下のように仮定する。「あの古代ギリシャ人はリプロダクティブ・ヘルス／ライツでない」ということは成り立つ
2. 事実8と仮定1から、推論1: "「そのオルターナティブは逮捕・勾留しなくて再試験でない」ということは嘘である"が導かれる
3. 推論1と事実4から、推論2: "そのオルターナティブは予備隊員である"が導かれる
4. 事実1から、推論3: "もし「そのオルターナティブは黄色っぽいしそれにそれは離れ難い」ということは誤りだとしたら予備隊員でない"が導かれる
5. 推論3と事実9から、推論4: "そのオルターナティブは予備隊員でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

よって、仮説が否定されました。