この金銭関係は簡単化するけれど確からしいということはない
fact1: 仮に「「守り立てる」ということは真実な」ものがあればそのＣＲイートオアは泥水である一方で手堅くない fact2: この金銭関係は手堅くないかもしくは確からしい fact3: もし仮にそのレディグレイが守り立てないならばこの金銭関係は手堅いということはないかまたは確からしい fact4: その景事は守り立てない fact5: 何らかの物は守り立てるとすれば「「そのレディグレイは泥水だけれどそれは副反射鏡でない」ということは正しくない」ということは正しい fact6: もしもその頼み事が固定しないがしかし人らしいならばその日系移民は人らしくない fact7: もしそのレディグレイが簡単化するということはないかもしくは守り立てないかもしくはどちらもであるなら守り立てない fact8: もしもそのレディグレイが守り立てないとしたらこの金銭関係は手堅くないかまたは確からしいということはない fact9: とある物はティームである fact10: 「あのごっこ遊びはせせら笑いである」ということは確かである fact11: 仮に「せせら笑いな」ものがあるとすればその頼み事は固定しないが人らしい fact12: もしそのＣＲイートオアはティームだとすると「この金銭関係は簡単化するが確からしくない」ということは誤りである fact13: 手堅くないかもしくは確からしくないか両方なものは確からしいということはない fact14: 「「約束するし更に由々しい」ということは確かでない」ものがあるとすればこの代数系は浮き易い fact15: もし何らかの物は手堅くないとすれば「守り立てる」ということは事実である fact16: もし仮に浮き易いものはあるなら「あの化学予防は安いしまた祈り為さる」ということは事実と異なる fact17: もし仮に「あの化学予防は安いしその上祈り為さる」ということは成り立つということはないなら「その骨軟化症は手堅いということはない」ということは成り立つ fact18: そのレディグレイは守り立てない fact19: もしもそのＣＲイートオアが泥水だけど副反射鏡でないならこの金銭関係は簡単化する fact20: もしもある物がティームであるならばそのＣＲイートオアは泥水だがしかし副反射鏡でない fact21: 「ティームな」物はあるとすると「そのＣＲイートオアは泥水である」ということは成り立つ fact22: 何らかのものは人らしくないなら「約束するしまた由々しい」ということは誤っている fact23: そのＣＲイートオアは泥水である
fact9 & fact20 -> int1: そのＣＲイートオアは泥水であるが副反射鏡でない; int1 & fact19 -> int2: この金銭関係は簡単化する; fact13 -> int3: もしもこの金銭関係は手堅くないかもしくは確からしくないかもしくは両方であるとすればそれは確からしいということはない; fact18 & fact8 -> int4: 「この金銭関係は手堅くないかあるいは確からしくないかもしくはどちらもだ」ということは成り立つ; int3 & int4 -> int5: この金銭関係は確からしくない; int2 & int5 -> hypothesis;
fact9 & fact20 -> int1: ({B}{a} & ¬{C}{a}); int1 & fact19 -> int2: {D}{b}; fact13 -> int3: (¬{G}{b} v ¬{E}{b}) -> ¬{E}{b}; fact18 & fact8 -> int4: (¬{G}{b} v ¬{E}{b}); int3 & int4 -> int5: ¬{E}{b}; int2 & int5 -> hypothesis;
「この金銭関係は簡単化するがしかしそれは確からしくない」ということは成り立たない
fact32 -> int6: もしもその骨軟化症が手堅くないとするとそれは守り立てる; fact29 -> int7: もしもその日系移民は人らしくないとすると「それは約束するしさらにそれは由々しい」ということは偽である; fact28 -> int8: なにがしかの物はせせら笑いである; int8 & fact25 -> int9: その頼み事は固定するということはないけど人らしい; fact26 & int9 -> int10: その日系移民は人らしくない; int7 & int10 -> int11: 「その日系移民は約束するし加えてそれは由々しい」ということは成り立つということはない; int11 -> int12: 「「約束するしまた由々しい」ということは事実と異なる」物はある; int12 & fact24 -> int13: この代数系は浮き易い; int13 -> int14: とあるものは浮き易い; int14 & fact31 -> int15: 「あの化学予防は安いし加えて祈り為さる」ということは間違いだ; fact27 & int15 -> int16: その骨軟化症は手堅くない; int6 & int16 -> int17: その骨軟化症は守り立てる; int17 -> int18: 「守り立てる」ものはある; int18 & fact30 -> int19: 「そのレディグレイは泥水で副反射鏡であるということはない」ということは正しいということはない; int19 -> int20: 「「泥水であるけど副反射鏡でない」ということは誤っている」ものはある;
$facts$ = fact1: 仮に「「守り立てる」ということは真実な」ものがあればそのＣＲイートオアは泥水である一方で手堅くない fact2: この金銭関係は手堅くないかもしくは確からしい fact3: もし仮にそのレディグレイが守り立てないならばこの金銭関係は手堅いということはないかまたは確からしい fact4: その景事は守り立てない fact5: 何らかの物は守り立てるとすれば「「そのレディグレイは泥水だけれどそれは副反射鏡でない」ということは正しくない」ということは正しい fact6: もしもその頼み事が固定しないがしかし人らしいならばその日系移民は人らしくない fact7: もしそのレディグレイが簡単化するということはないかもしくは守り立てないかもしくはどちらもであるなら守り立てない fact8: もしもそのレディグレイが守り立てないとしたらこの金銭関係は手堅くないかまたは確からしいということはない fact9: とある物はティームである fact10: 「あのごっこ遊びはせせら笑いである」ということは確かである fact11: 仮に「せせら笑いな」ものがあるとすればその頼み事は固定しないが人らしい fact12: もしそのＣＲイートオアはティームだとすると「この金銭関係は簡単化するが確からしくない」ということは誤りである fact13: 手堅くないかもしくは確からしくないか両方なものは確からしいということはない fact14: 「「約束するし更に由々しい」ということは確かでない」ものがあるとすればこの代数系は浮き易い fact15: もし何らかの物は手堅くないとすれば「守り立てる」ということは事実である fact16: もし仮に浮き易いものはあるなら「あの化学予防は安いしまた祈り為さる」ということは事実と異なる fact17: もし仮に「あの化学予防は安いしその上祈り為さる」ということは成り立つということはないなら「その骨軟化症は手堅いということはない」ということは成り立つ fact18: そのレディグレイは守り立てない fact19: もしもそのＣＲイートオアが泥水だけど副反射鏡でないならこの金銭関係は簡単化する fact20: もしもある物がティームであるならばそのＣＲイートオアは泥水だがしかし副反射鏡でない fact21: 「ティームな」物はあるとすると「そのＣＲイートオアは泥水である」ということは成り立つ fact22: 何らかのものは人らしくないなら「約束するしまた由々しい」ということは誤っている fact23: そのＣＲイートオアは泥水である ; $hypothesis$ = この金銭関係は簡単化するけれど確からしいということはない ; $proof$ = 
fact9 & fact20 -> int1: そのＣＲイートオアは泥水であるが副反射鏡でない; int1 & fact19 -> int2: この金銭関係は簡単化する; fact13 -> int3: もしもこの金銭関係は手堅くないかもしくは確からしくないかもしくは両方であるとすればそれは確からしいということはない; fact18 & fact8 -> int4: 「この金銭関係は手堅くないかあるいは確からしくないかもしくはどちらもだ」ということは成り立つ; int3 & int4 -> int5: この金銭関係は確からしくない; int2 & int5 -> hypothesis; __PROVED__
事実1: 仮に「「守り立てる」ということは真実な」ものがあればそのＣＲイートオアは泥水である一方で手堅くない
事実2: この金銭関係は手堅くないかもしくは確からしい
事実3: もし仮にそのレディグレイが守り立てないならばこの金銭関係は手堅いということはないかまたは確からしい
事実4: その景事は守り立てない
事実5: 何らかの物は守り立てるとすれば「「そのレディグレイは泥水だけれどそれは副反射鏡でない」ということは正しくない」ということは正しい
事実6: もしもその頼み事が固定しないがしかし人らしいならばその日系移民は人らしくない
事実7: もしそのレディグレイが簡単化するということはないかもしくは守り立てないかもしくはどちらもであるなら守り立てない
事実8: もしもそのレディグレイが守り立てないとしたらこの金銭関係は手堅くないかまたは確からしいということはない
事実9: とある物はティームである
事実10: 「あのごっこ遊びはせせら笑いである」ということは確かである
事実11: 仮に「せせら笑いな」ものがあるとすればその頼み事は固定しないが人らしい
事実12: もしそのＣＲイートオアはティームだとすると「この金銭関係は簡単化するが確からしくない」ということは誤りである
事実13: 手堅くないかもしくは確からしくないか両方なものは確からしいということはない
事実14: 「「約束するし更に由々しい」ということは確かでない」ものがあるとすればこの代数系は浮き易い
事実15: もし何らかの物は手堅くないとすれば「守り立てる」ということは事実である
事実16: もし仮に浮き易いものはあるなら「あの化学予防は安いしまた祈り為さる」ということは事実と異なる
事実17: もし仮に「あの化学予防は安いしその上祈り為さる」ということは成り立つということはないなら「その骨軟化症は手堅いということはない」ということは成り立つ
事実18: そのレディグレイは守り立てない
事実19: もしもそのＣＲイートオアが泥水だけど副反射鏡でないならこの金銭関係は簡単化する
事実20: もしもある物がティームであるならばそのＣＲイートオアは泥水だがしかし副反射鏡でない
事実21: 「ティームな」物はあるとすると「そのＣＲイートオアは泥水である」ということは成り立つ
事実22: 何らかのものは人らしくないなら「約束するしまた由々しい」ということは誤っている
事実23: そのＣＲイートオアは泥水である

仮説: この金銭関係は簡単化するけれど確からしいということはない
1. 事実9と事実20から、推論1: "そのＣＲイートオアは泥水であるが副反射鏡でない"が導かれる
2. 推論1と事実19から、推論2: "この金銭関係は簡単化する"が導かれる
3. 事実13から、推論3: "もしもこの金銭関係は手堅くないかもしくは確からしくないかもしくは両方であるとすればそれは確からしいということはない"が導かれる
4. 事実18と事実8から、推論4: "「この金銭関係は手堅くないかあるいは確からしくないかもしくはどちらもだ」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "この金銭関係は確からしくない"が導かれる
6. 推論2と推論5から、仮説が導かれる

よって、仮説が証明されました。