「あの配偶子が十一月末現在であるならばこの生まれ変わりは愛情深くない」ということは成り立たない
fact1: もしも「あの配偶子は長くないけれど晒され易い」ということは間違っているとすれば「この生まれ変わりは愛情深い」ということは真実だ fact2: もし仮に何らかのものはけたたましくないならば「それは愛情深くてまた巨利である」ということは偽である fact3: もしもなにがしかの物は十一月末現在であるとしたら「それは長くないし晒され易い」ということは事実でない fact4: もしもあの配偶子が愛情深いとするとこの生まれ変わりは十一月末現在である fact5: もし仮にあの配偶子が長いとするとこの生まれ変わりは愛情深くない fact6: もし仮にあの配偶子が十一月末現在であるならこの生まれ変わりは愛情深い fact7: もし「この生まれ変わりは愛情深いし巨利である」ということは間違いだとすればあの人材は愛情深くない fact8: 「あの配偶子は長いし晒され易い」ということは間違っている fact9: 仮にあの配偶子は十一月末現在だとすると「「それは長くてまた晒され易い」ということは成り立つ」ということは間違っている fact10: この生まれ変わりは愛情深い fact11: もし仮にあるものが愛情深くないならば晒され易くておまけにそれは十一月末現在だ fact12: この生まれ変わりが晒され易いならあの配偶子は愛情深い fact13: もし「あの配偶子は長くないけれどそれは晒され易い」ということは事実と異なるとすればこの生まれ変わりは愛情深くない fact14: 「もし仮になにかは十一月末現在なら「それは長くて晒され易い」ということは偽だ」ということは正しい
fact3 -> int1: 仮にあの配偶子は十一月末現在なら「それは長くないし晒され易い」ということは間違いである; void -> assump1: 以下のように仮定する。あの配偶子は十一月末現在だ; int1 & assump1 -> int2: 「「あの配偶子は長くないが晒され易い」ということは誤りである」ということは真実である; int2 & fact13 -> int3: この生まれ変わりは愛情深くない; [assump1] & int3 -> hypothesis;
この人材は晒され易い
fact17 -> int4: この人材が愛情深くないとすると晒され易いししかもそれは十一月末現在だ; fact15 -> int5: 「この生まれ変わりはけたたましくない」ということは成り立つとすれば「それは愛情深いしおまけに巨利である」ということは偽である;
$facts$ = fact1: もしも「あの配偶子は長くないけれど晒され易い」ということは間違っているとすれば「この生まれ変わりは愛情深い」ということは真実だ fact2: もし仮に何らかのものはけたたましくないならば「それは愛情深くてまた巨利である」ということは偽である fact3: もしもなにがしかの物は十一月末現在であるとしたら「それは長くないし晒され易い」ということは事実でない fact4: もしもあの配偶子が愛情深いとするとこの生まれ変わりは十一月末現在である fact5: もし仮にあの配偶子が長いとするとこの生まれ変わりは愛情深くない fact6: もし仮にあの配偶子が十一月末現在であるならこの生まれ変わりは愛情深い fact7: もし「この生まれ変わりは愛情深いし巨利である」ということは間違いだとすればあの人材は愛情深くない fact8: 「あの配偶子は長いし晒され易い」ということは間違っている fact9: 仮にあの配偶子は十一月末現在だとすると「「それは長くてまた晒され易い」ということは成り立つ」ということは間違っている fact10: この生まれ変わりは愛情深い fact11: もし仮にあるものが愛情深くないならば晒され易くておまけにそれは十一月末現在だ fact12: この生まれ変わりが晒され易いならあの配偶子は愛情深い fact13: もし「あの配偶子は長くないけれどそれは晒され易い」ということは事実と異なるとすればこの生まれ変わりは愛情深くない fact14: 「もし仮になにかは十一月末現在なら「それは長くて晒され易い」ということは偽だ」ということは正しい ; $hypothesis$ = 「あの配偶子が十一月末現在であるならばこの生まれ変わりは愛情深くない」ということは成り立たない ; $proof$ = 
fact3 -> int1: 仮にあの配偶子は十一月末現在なら「それは長くないし晒され易い」ということは間違いである; void -> assump1: 以下のように仮定する。あの配偶子は十一月末現在だ; int1 & assump1 -> int2: 「「あの配偶子は長くないが晒され易い」ということは誤りである」ということは真実である; int2 & fact13 -> int3: この生まれ変わりは愛情深くない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしも「あの配偶子は長くないけれど晒され易い」ということは間違っているとすれば「この生まれ変わりは愛情深い」ということは真実だ
事実2: もし仮に何らかのものはけたたましくないならば「それは愛情深くてまた巨利である」ということは偽である
事実3: もしもなにがしかの物は十一月末現在であるとしたら「それは長くないし晒され易い」ということは事実でない
事実4: もしもあの配偶子が愛情深いとするとこの生まれ変わりは十一月末現在である
事実5: もし仮にあの配偶子が長いとするとこの生まれ変わりは愛情深くない
事実6: もし仮にあの配偶子が十一月末現在であるならこの生まれ変わりは愛情深い
事実7: もし「この生まれ変わりは愛情深いし巨利である」ということは間違いだとすればあの人材は愛情深くない
事実8: 「あの配偶子は長いし晒され易い」ということは間違っている
事実9: 仮にあの配偶子は十一月末現在だとすると「「それは長くてまた晒され易い」ということは成り立つ」ということは間違っている
事実10: この生まれ変わりは愛情深い
事実11: もし仮にあるものが愛情深くないならば晒され易くておまけにそれは十一月末現在だ
事実12: この生まれ変わりが晒され易いならあの配偶子は愛情深い
事実13: もし「あの配偶子は長くないけれどそれは晒され易い」ということは事実と異なるとすればこの生まれ変わりは愛情深くない
事実14: 「もし仮になにかは十一月末現在なら「それは長くて晒され易い」ということは偽だ」ということは正しい

仮説: 「あの配偶子が十一月末現在であるならばこの生まれ変わりは愛情深くない」ということは成り立たない
1. 事実3から、推論1: "仮にあの配偶子は十一月末現在なら「それは長くないし晒され易い」ということは間違いである"が導かれる
2. 仮定1: 以下のように仮定する。あの配偶子は十一月末現在だ
3. 推論1と仮定1から、推論2: "「「あの配偶子は長くないが晒され易い」ということは誤りである」ということは真実である"が導かれる
4. 推論2と事実13から、推論3: "この生まれ変わりは愛情深くない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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