「もしあのコーディネートは実施しないならば「その家父長制家族は御母はんであるかあるいはそれは感じ易い」ということは確かでない」ということは成り立たない
fact1: その家父長制家族は感じ易いということはない fact2: あのコーディネートは御母はんでないなら「その家父長制家族は感じ易いかまたは実施するかまたはどちらもだ」ということは偽だ fact3: もしもあのコーディネートは御母はんであるとすると「その家父長制家族は感じ易いかまたは実施する」ということは偽である fact4: あの都所は感じ易くない fact5: もしもあのコーディネートが感じ易いということはないとしたらその家父長制家族は御母はんであるかまたは感じ易い fact6: もしもあのコーディネートは感じ易くないとしたら「その家父長制家族は御母はんであるかそれは感じ易いかまたはどちらもだ」ということは事実と異なる fact7: もし仮にあのコーディネートは御母はんでないとすれば「その家父長制家族は実施するか感じ易い」ということは真実である fact8: もし仮に「あのコーディネートは御母はんでない」ということは事実だとすれば「その家父長制家族は実施するかあるいは感じ易い」ということは誤りだ fact9: もし何らかの物が実施しないならば感じ易くない fact10: 「あのコーディネートが感じ易くないならばその家父長制家族は感じ易くない」ということは本当だ fact11: もし「あのコーディネートは御母はんでない」ということは確かであるならその家父長制家族は感じ易いかまたは実施する fact12: もしも「この私個人は生き抜かない」ということは成り立つならばあの煎餅はクランベリーであるが御母はんでない fact13: もしもなにがしかの物は御母はんでないならば感じ易くないけどみっとも可愛い fact14: 仮にその家父長制家族は感じ易いなら「あのコーディネートは御母はんであるかまたは実施するかあるいはどちらもである」ということは間違いである fact15: もしもその家父長制家族が実施しないとしたらそれはエリートクラスでない
fact9 -> int1: 仮にあのコーディネートが実施しないとすると感じ易くない; void -> assump1: 以下のように仮定する。あのコーディネートは実施するということはない; int1 & assump1 -> int2: あのコーディネートは感じ易くない; int2 & fact6 -> int3: 「その家父長制家族は御母はんであるかまたはそれは感じ易い」ということは成り立たない; [assump1] & int3 -> hypothesis;
「その家父長制家族は実施するかもしくは並べ代えるか両方ともである」ということは誤っている
fact17 -> int4: もしその煎餅は御母はんでないならば感じ易くないけどみっとも可愛い;
$facts$ = fact1: その家父長制家族は感じ易いということはない fact2: あのコーディネートは御母はんでないなら「その家父長制家族は感じ易いかまたは実施するかまたはどちらもだ」ということは偽だ fact3: もしもあのコーディネートは御母はんであるとすると「その家父長制家族は感じ易いかまたは実施する」ということは偽である fact4: あの都所は感じ易くない fact5: もしもあのコーディネートが感じ易いということはないとしたらその家父長制家族は御母はんであるかまたは感じ易い fact6: もしもあのコーディネートは感じ易くないとしたら「その家父長制家族は御母はんであるかそれは感じ易いかまたはどちらもだ」ということは事実と異なる fact7: もし仮にあのコーディネートは御母はんでないとすれば「その家父長制家族は実施するか感じ易い」ということは真実である fact8: もし仮に「あのコーディネートは御母はんでない」ということは事実だとすれば「その家父長制家族は実施するかあるいは感じ易い」ということは誤りだ fact9: もし何らかの物が実施しないならば感じ易くない fact10: 「あのコーディネートが感じ易くないならばその家父長制家族は感じ易くない」ということは本当だ fact11: もし「あのコーディネートは御母はんでない」ということは確かであるならその家父長制家族は感じ易いかまたは実施する fact12: もしも「この私個人は生き抜かない」ということは成り立つならばあの煎餅はクランベリーであるが御母はんでない fact13: もしもなにがしかの物は御母はんでないならば感じ易くないけどみっとも可愛い fact14: 仮にその家父長制家族は感じ易いなら「あのコーディネートは御母はんであるかまたは実施するかあるいはどちらもである」ということは間違いである fact15: もしもその家父長制家族が実施しないとしたらそれはエリートクラスでない ; $hypothesis$ = 「もしあのコーディネートは実施しないならば「その家父長制家族は御母はんであるかあるいはそれは感じ易い」ということは確かでない」ということは成り立たない ; $proof$ = 
fact9 -> int1: 仮にあのコーディネートが実施しないとすると感じ易くない; void -> assump1: 以下のように仮定する。あのコーディネートは実施するということはない; int1 & assump1 -> int2: あのコーディネートは感じ易くない; int2 & fact6 -> int3: 「その家父長制家族は御母はんであるかまたはそれは感じ易い」ということは成り立たない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その家父長制家族は感じ易いということはない
事実2: あのコーディネートは御母はんでないなら「その家父長制家族は感じ易いかまたは実施するかまたはどちらもだ」ということは偽だ
事実3: もしもあのコーディネートは御母はんであるとすると「その家父長制家族は感じ易いかまたは実施する」ということは偽である
事実4: あの都所は感じ易くない
事実5: もしもあのコーディネートが感じ易いということはないとしたらその家父長制家族は御母はんであるかまたは感じ易い
事実6: もしもあのコーディネートは感じ易くないとしたら「その家父長制家族は御母はんであるかそれは感じ易いかまたはどちらもだ」ということは事実と異なる
事実7: もし仮にあのコーディネートは御母はんでないとすれば「その家父長制家族は実施するか感じ易い」ということは真実である
事実8: もし仮に「あのコーディネートは御母はんでない」ということは事実だとすれば「その家父長制家族は実施するかあるいは感じ易い」ということは誤りだ
事実9: もし何らかの物が実施しないならば感じ易くない
事実10: 「あのコーディネートが感じ易くないならばその家父長制家族は感じ易くない」ということは本当だ
事実11: もし「あのコーディネートは御母はんでない」ということは確かであるならその家父長制家族は感じ易いかまたは実施する
事実12: もしも「この私個人は生き抜かない」ということは成り立つならばあの煎餅はクランベリーであるが御母はんでない
事実13: もしもなにがしかの物は御母はんでないならば感じ易くないけどみっとも可愛い
事実14: 仮にその家父長制家族は感じ易いなら「あのコーディネートは御母はんであるかまたは実施するかあるいはどちらもである」ということは間違いである
事実15: もしもその家父長制家族が実施しないとしたらそれはエリートクラスでない

仮説: 「もしあのコーディネートは実施しないならば「その家父長制家族は御母はんであるかあるいはそれは感じ易い」ということは確かでない」ということは成り立たない
1. 事実9から、推論1: "仮にあのコーディネートが実施しないとすると感じ易くない"が導かれる
2. 仮定1: 以下のように仮定する。あのコーディネートは実施するということはない
3. 推論1と仮定1から、推論2: "あのコーディネートは感じ易くない"が導かれる
4. 推論2と事実6から、推論3: "「その家父長制家族は御母はんであるかまたはそれは感じ易い」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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