「「その水子地蔵は築き難くないかあるいは働き出さないかもしくは両方ともだ」ということは誤りだ」ということは成り立つ
fact1: 捗々しいししかも働き出すというものはない fact2: その水子地蔵は通しないかまたは特許成立でないかもしくはどちらもだ fact3: その水子地蔵は浅いかもしくは押し寄せないかどちらもである fact4: 「あの旧小姓組番は築き難い」ということは成り立つ fact5: もし仮に何らかの物が早逝するとするとそれはめでたし fact6: もしも何かはめでたしかもしくはそれは早逝するかあるいは両方であるならばそれは築き難くない fact7: もし何らかの物がめでたしとすると磨けないかもしくは怪しないかまたは両方ともだ fact8: その水子地蔵は偏り易くないかあるいは賛成し難い fact9: とあるものは働き出さないとすれば「それは早逝するということはなくて築き難くない」ということは間違いだ fact10: あの諸事例はめでたしかまたは作り易いかどちらもだ fact11: 仮にその水子地蔵が作戦従事密度だとしたら必須入力しない fact12: この表目は築き難くない fact13: この著作集は働き出す fact14: 「もしその水子地蔵がペーパーナプキンであるかあるいは上がり難いとするとその水子地蔵は築き難くない」ということは成り立つ fact15: その水子地蔵はめでたし fact16: 仮にその水子地蔵がめでたしならばそれはしがないということはない fact17: 育て易い物はしがないということはない fact18: もし「その水子地蔵は早逝しなくてしかも築き難くない」ということは成り立たないならその地雷は早逝する
fact15 -> int1: その水子地蔵はめでたしかまたはそれは早逝する; fact6 -> int2: 仮にその水子地蔵はめでたしかまたは早逝するかもしくは両方だとすると築き難いということはない; int1 & int2 -> int3: その水子地蔵は築き難いということはない; int3 -> hypothesis;
fact15 -> int1: ({A}{a} v {B}{a}); fact6 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 -> hypothesis;
その地雷は磨けないか怪しないかまたはどちらもである
fact23 -> int4: 「その地雷はめでたし」ということは事実であるとすると「それは磨けないか怪しないかあるいはどちらもである」ということは事実である; fact19 -> int5: 「その地雷は早逝する」ということは確かだとしたらめでたし; fact22 -> int6: その水子地蔵は働き出さないならば「早逝しなくて築き難いということはない」ということは誤りである; fact21 -> int7: 「この広告情報は捗々しくて働き出す」ということは間違っている; int7 -> int8: 「「捗々しくておまけに働き出す」ということは間違っている」ものはある;
$facts$ = fact1: 捗々しいししかも働き出すというものはない fact2: その水子地蔵は通しないかまたは特許成立でないかもしくはどちらもだ fact3: その水子地蔵は浅いかもしくは押し寄せないかどちらもである fact4: 「あの旧小姓組番は築き難い」ということは成り立つ fact5: もし仮に何らかの物が早逝するとするとそれはめでたし fact6: もしも何かはめでたしかもしくはそれは早逝するかあるいは両方であるならばそれは築き難くない fact7: もし何らかの物がめでたしとすると磨けないかもしくは怪しないかまたは両方ともだ fact8: その水子地蔵は偏り易くないかあるいは賛成し難い fact9: とあるものは働き出さないとすれば「それは早逝するということはなくて築き難くない」ということは間違いだ fact10: あの諸事例はめでたしかまたは作り易いかどちらもだ fact11: 仮にその水子地蔵が作戦従事密度だとしたら必須入力しない fact12: この表目は築き難くない fact13: この著作集は働き出す fact14: 「もしその水子地蔵がペーパーナプキンであるかあるいは上がり難いとするとその水子地蔵は築き難くない」ということは成り立つ fact15: その水子地蔵はめでたし fact16: 仮にその水子地蔵がめでたしならばそれはしがないということはない fact17: 育て易い物はしがないということはない fact18: もし「その水子地蔵は早逝しなくてしかも築き難くない」ということは成り立たないならその地雷は早逝する ; $hypothesis$ = 「「その水子地蔵は築き難くないかあるいは働き出さないかもしくは両方ともだ」ということは誤りだ」ということは成り立つ ; $proof$ = 
fact15 -> int1: その水子地蔵はめでたしかまたはそれは早逝する; fact6 -> int2: 仮にその水子地蔵はめでたしかまたは早逝するかもしくは両方だとすると築き難いということはない; int1 & int2 -> int3: その水子地蔵は築き難いということはない; int3 -> hypothesis; __DISPROVED__
事実1: 捗々しいししかも働き出すというものはない
事実2: その水子地蔵は通しないかまたは特許成立でないかもしくはどちらもだ
事実3: その水子地蔵は浅いかもしくは押し寄せないかどちらもである
事実4: 「あの旧小姓組番は築き難い」ということは成り立つ
事実5: もし仮に何らかの物が早逝するとするとそれはめでたし
事実6: もしも何かはめでたしかもしくはそれは早逝するかあるいは両方であるならばそれは築き難くない
事実7: もし何らかの物がめでたしとすると磨けないかもしくは怪しないかまたは両方ともだ
事実8: その水子地蔵は偏り易くないかあるいは賛成し難い
事実9: とあるものは働き出さないとすれば「それは早逝するということはなくて築き難くない」ということは間違いだ
事実10: あの諸事例はめでたしかまたは作り易いかどちらもだ
事実11: 仮にその水子地蔵が作戦従事密度だとしたら必須入力しない
事実12: この表目は築き難くない
事実13: この著作集は働き出す
事実14: 「もしその水子地蔵がペーパーナプキンであるかあるいは上がり難いとするとその水子地蔵は築き難くない」ということは成り立つ
事実15: その水子地蔵はめでたし
事実16: 仮にその水子地蔵がめでたしならばそれはしがないということはない
事実17: 育て易い物はしがないということはない
事実18: もし「その水子地蔵は早逝しなくてしかも築き難くない」ということは成り立たないならその地雷は早逝する

仮説: 「「その水子地蔵は築き難くないかあるいは働き出さないかもしくは両方ともだ」ということは誤りだ」ということは成り立つ
1. 事実15から、推論1: "その水子地蔵はめでたしかまたはそれは早逝する"が導かれる
2. 事実6から、推論2: "仮にその水子地蔵はめでたしかまたは早逝するかもしくは両方だとすると築き難いということはない"が導かれる
3. 推論1と推論2から、推論3: "その水子地蔵は築き難いということはない"が導かれる
4. 推論3から、仮説が否定される

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