「壊れ難くないものはある」ということは成り立たない
fact1: 「この鮮紅色は騙され易いかあるいは分与するか両方ともだ」ということは成り立つ fact2: 「この鮮紅色は騙され易くない」ということは成り立つならその低廉は二月末現在でない fact3: もしこの鮮紅色が御労しくてまた分与するならこの記録面は騙され易くない fact4: 「もし仮にその隠れキリシタンが深しないかもしくは壊れ難いかもしくは両方だとしたらその右規定は御労しくない」ということは成り立つ fact5: 仮にその低廉が二月末現在でないとするとこの記録面は左右され易いししかもそれは二月末現在である fact6: この記録面は御労しい fact7: 「その隠れキリシタンは深し」ということは成り立つとするとこの鮮紅色は騙され易くないかまたはそれは分与するかもしくはどちらもである fact8: もしもこの鮮紅色が騙され易いし壊れ難いとしたらその右規定は御労しくない fact9: 「壊れ難い」ものはある fact10: その隠れキリシタンは深し fact11: この記録面は二月末現在である fact12: この記録面が左右され易いし御労しいならその右規定は壊れ難くない fact13: もしもその低廉が二月末現在であるならばその右規定は騙され易くないかまたは壊れ難いかもしくは両方である fact14: 仮にこの記録面が騙され易くないかあるいは分与するならこの鮮紅色は二月末現在でない fact15: もしもその低廉が二月末現在であるということはないならばあの記録面は二月末現在だ fact16: 仮にその隠れキリシタンが深しとするとこの鮮紅色は騙され易いかあるいは分与する fact17: 仮にこの鮮紅色が騙され易くないかまたは分与するかもしくは両方であるならその低廉は二月末現在でない fact18: 「この鮮紅色は分与しないかもしくは左右され易いかあるいは両方だ」ということは事実である fact19: 「その隠れキリシタンは騙され易くない」ということは事実である
fact7 & fact10 -> int1: この鮮紅色は騙され易くないかそれは分与する; int1 & fact17 -> int2: その低廉は二月末現在でない; int2 & fact5 -> int3: この記録面は左右され易いししかもそれは二月末現在だ; int3 -> int4: この記録面は左右され易い; int4 & fact6 -> int5: この記録面は左右され易いしまたそれは御労しい; int5 & fact12 -> int6: その右規定は壊れ難くない; int6 -> hypothesis;
$facts$ = fact1: 「この鮮紅色は騙され易いかあるいは分与するか両方ともだ」ということは成り立つ fact2: 「この鮮紅色は騙され易くない」ということは成り立つならその低廉は二月末現在でない fact3: もしこの鮮紅色が御労しくてまた分与するならこの記録面は騙され易くない fact4: 「もし仮にその隠れキリシタンが深しないかもしくは壊れ難いかもしくは両方だとしたらその右規定は御労しくない」ということは成り立つ fact5: 仮にその低廉が二月末現在でないとするとこの記録面は左右され易いししかもそれは二月末現在である fact6: この記録面は御労しい fact7: 「その隠れキリシタンは深し」ということは成り立つとするとこの鮮紅色は騙され易くないかまたはそれは分与するかもしくはどちらもである fact8: もしもこの鮮紅色が騙され易いし壊れ難いとしたらその右規定は御労しくない fact9: 「壊れ難い」ものはある fact10: その隠れキリシタンは深し fact11: この記録面は二月末現在である fact12: この記録面が左右され易いし御労しいならその右規定は壊れ難くない fact13: もしもその低廉が二月末現在であるならばその右規定は騙され易くないかまたは壊れ難いかもしくは両方である fact14: 仮にこの記録面が騙され易くないかあるいは分与するならこの鮮紅色は二月末現在でない fact15: もしもその低廉が二月末現在であるということはないならばあの記録面は二月末現在だ fact16: 仮にその隠れキリシタンが深しとするとこの鮮紅色は騙され易いかあるいは分与する fact17: 仮にこの鮮紅色が騙され易くないかまたは分与するかもしくは両方であるならその低廉は二月末現在でない fact18: 「この鮮紅色は分与しないかもしくは左右され易いかあるいは両方だ」ということは事実である fact19: 「その隠れキリシタンは騙され易くない」ということは事実である ; $hypothesis$ = 「壊れ難くないものはある」ということは成り立たない ; $proof$ = 
fact7 & fact10 -> int1: この鮮紅色は騙され易くないかそれは分与する; int1 & fact17 -> int2: その低廉は二月末現在でない; int2 & fact5 -> int3: この記録面は左右され易いししかもそれは二月末現在だ; int3 -> int4: この記録面は左右され易い; int4 & fact6 -> int5: この記録面は左右され易いしまたそれは御労しい; int5 & fact12 -> int6: その右規定は壊れ難くない; int6 -> hypothesis; __DISPROVED__
事実1: 「この鮮紅色は騙され易いかあるいは分与するか両方ともだ」ということは成り立つ
事実2: 「この鮮紅色は騙され易くない」ということは成り立つならその低廉は二月末現在でない
事実3: もしこの鮮紅色が御労しくてまた分与するならこの記録面は騙され易くない
事実4: 「もし仮にその隠れキリシタンが深しないかもしくは壊れ難いかもしくは両方だとしたらその右規定は御労しくない」ということは成り立つ
事実5: 仮にその低廉が二月末現在でないとするとこの記録面は左右され易いししかもそれは二月末現在である
事実6: この記録面は御労しい
事実7: 「その隠れキリシタンは深し」ということは成り立つとするとこの鮮紅色は騙され易くないかまたはそれは分与するかもしくはどちらもである
事実8: もしもこの鮮紅色が騙され易いし壊れ難いとしたらその右規定は御労しくない
事実9: 「壊れ難い」ものはある
事実10: その隠れキリシタンは深し
事実11: この記録面は二月末現在である
事実12: この記録面が左右され易いし御労しいならその右規定は壊れ難くない
事実13: もしもその低廉が二月末現在であるならばその右規定は騙され易くないかまたは壊れ難いかもしくは両方である
事実14: 仮にこの記録面が騙され易くないかあるいは分与するならこの鮮紅色は二月末現在でない
事実15: もしもその低廉が二月末現在であるということはないならばあの記録面は二月末現在だ
事実16: 仮にその隠れキリシタンが深しとするとこの鮮紅色は騙され易いかあるいは分与する
事実17: 仮にこの鮮紅色が騙され易くないかまたは分与するかもしくは両方であるならその低廉は二月末現在でない
事実18: 「この鮮紅色は分与しないかもしくは左右され易いかあるいは両方だ」ということは事実である
事実19: 「その隠れキリシタンは騙され易くない」ということは事実である

仮説: 「壊れ難くないものはある」ということは成り立たない
1. 事実7と事実10から、推論1: "この鮮紅色は騙され易くないかそれは分与する"が導かれる
2. 推論1と事実17から、推論2: "その低廉は二月末現在でない"が導かれる
3. 推論2と事実5から、推論3: "この記録面は左右され易いししかもそれは二月末現在だ"が導かれる
4. 推論3から、推論4: "この記録面は左右され易い"が導かれる
5. 推論4と事実6から、推論5: "この記録面は左右され易いしまたそれは御労しい"が導かれる
6. 推論5と事実12から、推論6: "その右規定は壊れ難くない"が導かれる
7. 推論6から、仮説が否定される

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