この引き渡し日は売り始めない
fact1: もし何らかの物が職種リスクプレミアムでないけど粗いとしたらそれは享有する fact2: 仮に「この引き渡し日は粗くないけど享有する」ということは成り立たないとしたらあの少数派共同体は享有しない fact3: この引き渡し日は職種リスクプレミアムでない fact4: 仮にこのネオユニバースは職種リスクプレミアムだがしかし粗くないならば享有する fact5: もし「この引き渡し日は各艦艇だということはないかもしくは良しかあるいは両方ともだ」ということは嘘だとするとこのネオユニバースは享有するということはない fact6: もし仮に「このネオユニバースは各艦艇でない」ということは成り立つとするとそれは粗くないし良しということはない fact7: もしもこのネオユニバースが想像し難くないとしたらこの引き渡し日は職種リスクプレミアムでない fact8: この引き渡し日は各艦艇だ fact9: もしこのネオユニバースは職種リスクプレミアムであるということはない一方で粗いなら「享有する」ということは誤りでない fact10: 「もし「このシングル盤は想像し難くないかあるいは幼児性であるか両方である」ということは成り立たないならばこのネオユニバースは想像し難いということはない」ということは間違っていない fact11: もし仮に「この引き渡し日は各艦艇であるかあるいはそれは良しかあるいはどちらもだ」ということは誤っていればこのネオユニバースは享有しない fact12: もしこのネオユニバースが手仕事でないとすればそれは職種リスクプレミアムだということはなくてそれは粗くない fact13: もしも職種リスクプレミアムが粗くないとすれば享有する fact14: もし仮になにかは享有しないしさらにそれが良しないならばそれは職種リスクプレミアムだ fact15: もし仮にこの引き渡し日が売り始めないならばそれは各艦艇である fact16: もしもその代償は影響され易いならば「このシングル盤は想像し難くないかあるいはそれは幼児性だ」ということは事実と異なる fact17: このネオユニバースは手仕事でない fact18: その代償が切り盛りするとしたらそれは影響され易い fact19: なんらかのものが職種リスクプレミアムであるということはないしそれが粗いということはないとすればそれは享有する fact20: この引き渡し日は売り始めるということはないとすると「それは各艦艇だということはないかもしくは良しか両方である」ということは間違いである
void -> assump1: 以下のように仮定する。この引き渡し日は売り始めない; fact20 & assump1 -> int1: 「この引き渡し日は各艦艇だということはないかあるいは良しかもしくはどちらもである」ということは成り立たない; int1 & fact5 -> int2: このネオユニバースは享有しない; fact19 -> int3: もしこのネオユニバースが職種リスクプレミアムでないし粗くないとすると享有する; fact17 & fact12 -> int4: このネオユニバースは職種リスクプレミアムであるということはないししかも粗くない; int3 & int4 -> int5: このネオユニバースは享有する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの少数派共同体は手仕事である
$facts$ = fact1: もし何らかの物が職種リスクプレミアムでないけど粗いとしたらそれは享有する fact2: 仮に「この引き渡し日は粗くないけど享有する」ということは成り立たないとしたらあの少数派共同体は享有しない fact3: この引き渡し日は職種リスクプレミアムでない fact4: 仮にこのネオユニバースは職種リスクプレミアムだがしかし粗くないならば享有する fact5: もし「この引き渡し日は各艦艇だということはないかもしくは良しかあるいは両方ともだ」ということは嘘だとするとこのネオユニバースは享有するということはない fact6: もし仮に「このネオユニバースは各艦艇でない」ということは成り立つとするとそれは粗くないし良しということはない fact7: もしもこのネオユニバースが想像し難くないとしたらこの引き渡し日は職種リスクプレミアムでない fact8: この引き渡し日は各艦艇だ fact9: もしこのネオユニバースは職種リスクプレミアムであるということはない一方で粗いなら「享有する」ということは誤りでない fact10: 「もし「このシングル盤は想像し難くないかあるいは幼児性であるか両方である」ということは成り立たないならばこのネオユニバースは想像し難いということはない」ということは間違っていない fact11: もし仮に「この引き渡し日は各艦艇であるかあるいはそれは良しかあるいはどちらもだ」ということは誤っていればこのネオユニバースは享有しない fact12: もしこのネオユニバースが手仕事でないとすればそれは職種リスクプレミアムだということはなくてそれは粗くない fact13: もしも職種リスクプレミアムが粗くないとすれば享有する fact14: もし仮になにかは享有しないしさらにそれが良しないならばそれは職種リスクプレミアムだ fact15: もし仮にこの引き渡し日が売り始めないならばそれは各艦艇である fact16: もしもその代償は影響され易いならば「このシングル盤は想像し難くないかあるいはそれは幼児性だ」ということは事実と異なる fact17: このネオユニバースは手仕事でない fact18: その代償が切り盛りするとしたらそれは影響され易い fact19: なんらかのものが職種リスクプレミアムであるということはないしそれが粗いということはないとすればそれは享有する fact20: この引き渡し日は売り始めるということはないとすると「それは各艦艇だということはないかもしくは良しか両方である」ということは間違いである ; $hypothesis$ = この引き渡し日は売り始めない ; $proof$ = 
void -> assump1: 以下のように仮定する。この引き渡し日は売り始めない; fact20 & assump1 -> int1: 「この引き渡し日は各艦艇だということはないかあるいは良しかもしくはどちらもである」ということは成り立たない; int1 & fact5 -> int2: このネオユニバースは享有しない; fact19 -> int3: もしこのネオユニバースが職種リスクプレミアムでないし粗くないとすると享有する; fact17 & fact12 -> int4: このネオユニバースは職種リスクプレミアムであるということはないししかも粗くない; int3 & int4 -> int5: このネオユニバースは享有する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし何らかの物が職種リスクプレミアムでないけど粗いとしたらそれは享有する
事実2: 仮に「この引き渡し日は粗くないけど享有する」ということは成り立たないとしたらあの少数派共同体は享有しない
事実3: この引き渡し日は職種リスクプレミアムでない
事実4: 仮にこのネオユニバースは職種リスクプレミアムだがしかし粗くないならば享有する
事実5: もし「この引き渡し日は各艦艇だということはないかもしくは良しかあるいは両方ともだ」ということは嘘だとするとこのネオユニバースは享有するということはない
事実6: もし仮に「このネオユニバースは各艦艇でない」ということは成り立つとするとそれは粗くないし良しということはない
事実7: もしもこのネオユニバースが想像し難くないとしたらこの引き渡し日は職種リスクプレミアムでない
事実8: この引き渡し日は各艦艇だ
事実9: もしこのネオユニバースは職種リスクプレミアムであるということはない一方で粗いなら「享有する」ということは誤りでない
事実10: 「もし「このシングル盤は想像し難くないかあるいは幼児性であるか両方である」ということは成り立たないならばこのネオユニバースは想像し難いということはない」ということは間違っていない
事実11: もし仮に「この引き渡し日は各艦艇であるかあるいはそれは良しかあるいはどちらもだ」ということは誤っていればこのネオユニバースは享有しない
事実12: もしこのネオユニバースが手仕事でないとすればそれは職種リスクプレミアムだということはなくてそれは粗くない
事実13: もしも職種リスクプレミアムが粗くないとすれば享有する
事実14: もし仮になにかは享有しないしさらにそれが良しないならばそれは職種リスクプレミアムだ
事実15: もし仮にこの引き渡し日が売り始めないならばそれは各艦艇である
事実16: もしもその代償は影響され易いならば「このシングル盤は想像し難くないかあるいはそれは幼児性だ」ということは事実と異なる
事実17: このネオユニバースは手仕事でない
事実18: その代償が切り盛りするとしたらそれは影響され易い
事実19: なんらかのものが職種リスクプレミアムであるということはないしそれが粗いということはないとすればそれは享有する
事実20: この引き渡し日は売り始めるということはないとすると「それは各艦艇だということはないかもしくは良しか両方である」ということは間違いである

仮説: この引き渡し日は売り始めない
1. 仮定1: 以下のように仮定する。この引き渡し日は売り始めない
2. 事実20と仮定1から、推論1: "「この引き渡し日は各艦艇だということはないかあるいは良しかもしくはどちらもである」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "このネオユニバースは享有しない"が導かれる
4. 事実19から、推論3: "もしこのネオユニバースが職種リスクプレミアムでないし粗くないとすると享有する"が導かれる
5. 事実17と事実12から、推論4: "このネオユニバースは職種リスクプレミアムであるということはないししかも粗くない"が導かれる
6. 推論3と推論4から、推論5: "このネオユニバースは享有する"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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