この先後は突き当たるしきったない
fact1: 「あの紫色はむくつけしが輝かしくない」ということは成り立つということはない fact2: もしあの紫色がむくつけしないとするとそれは恋しかない fact3: 恋しい物はつべたい fact4: もし仮にこの先後がつべたいとしたらその家族経営は通知領域でなくて更に捕らわれない fact5: 仮に「とあるものはむくつけしけど輝かしくない」ということは成り立つということはないならば「それは恋しかない」ということは嘘だということはない fact6: 「つべたくない」物はある fact7: もし仮に「なにかは版権であるかまたは恋しかないかあるいはどちらもだ」ということは事実と異なるとしたらそれはつべたい fact8: この先後はきったない fact9: とある物は版権である一方でそれはつべたくない fact10: もし何かは版権でないし更にそれはつべたくないならこの先後は突き当たる fact11: この先後は恋しい fact12: その家族経営は版権でない fact13: もしあの紫色は恋しかないとすればその家族経営はつべたくない
fact5 -> int1: もしも「「あの紫色はむくつけしけど輝かしいということはない」ということは成り立つということはない」ということは嘘でないとすると「それは恋しかない」ということは真実だ; int1 & fact1 -> int2: あの紫色は恋しかない; int2 & fact13 -> int3: その家族経営はつべたくない; int3 & fact12 -> int4: その家族経営は版権でなくてかつそれはつべたくない; int4 -> int5: なんらかのものは版権でないしさらにつべたいということはない; int5 & fact10 -> int6: 「この先後は突き当たる」ということは成り立つ; int6 & fact8 -> hypothesis;
「この先後は突き当たるしきったない」ということは間違いである
fact14 -> int7: もしその家族経営が恋しいならばそれはつべたい;
$facts$ = fact1: 「あの紫色はむくつけしが輝かしくない」ということは成り立つということはない fact2: もしあの紫色がむくつけしないとするとそれは恋しかない fact3: 恋しい物はつべたい fact4: もし仮にこの先後がつべたいとしたらその家族経営は通知領域でなくて更に捕らわれない fact5: 仮に「とあるものはむくつけしけど輝かしくない」ということは成り立つということはないならば「それは恋しかない」ということは嘘だということはない fact6: 「つべたくない」物はある fact7: もし仮に「なにかは版権であるかまたは恋しかないかあるいはどちらもだ」ということは事実と異なるとしたらそれはつべたい fact8: この先後はきったない fact9: とある物は版権である一方でそれはつべたくない fact10: もし何かは版権でないし更にそれはつべたくないならこの先後は突き当たる fact11: この先後は恋しい fact12: その家族経営は版権でない fact13: もしあの紫色は恋しかないとすればその家族経営はつべたくない ; $hypothesis$ = この先後は突き当たるしきったない ; $proof$ = 
fact5 -> int1: もしも「「あの紫色はむくつけしけど輝かしいということはない」ということは成り立つということはない」ということは嘘でないとすると「それは恋しかない」ということは真実だ; int1 & fact1 -> int2: あの紫色は恋しかない; int2 & fact13 -> int3: その家族経営はつべたくない; int3 & fact12 -> int4: その家族経営は版権でなくてかつそれはつべたくない; int4 -> int5: なんらかのものは版権でないしさらにつべたいということはない; int5 & fact10 -> int6: 「この先後は突き当たる」ということは成り立つ; int6 & fact8 -> hypothesis; __PROVED__
事実1: 「あの紫色はむくつけしが輝かしくない」ということは成り立つということはない
事実2: もしあの紫色がむくつけしないとするとそれは恋しかない
事実3: 恋しい物はつべたい
事実4: もし仮にこの先後がつべたいとしたらその家族経営は通知領域でなくて更に捕らわれない
事実5: 仮に「とあるものはむくつけしけど輝かしくない」ということは成り立つということはないならば「それは恋しかない」ということは嘘だということはない
事実6: 「つべたくない」物はある
事実7: もし仮に「なにかは版権であるかまたは恋しかないかあるいはどちらもだ」ということは事実と異なるとしたらそれはつべたい
事実8: この先後はきったない
事実9: とある物は版権である一方でそれはつべたくない
事実10: もし何かは版権でないし更にそれはつべたくないならこの先後は突き当たる
事実11: この先後は恋しい
事実12: その家族経営は版権でない
事実13: もしあの紫色は恋しかないとすればその家族経営はつべたくない

仮説: この先後は突き当たるしきったない
1. 事実5から、推論1: "もしも「「あの紫色はむくつけしけど輝かしいということはない」ということは成り立つということはない」ということは嘘でないとすると「それは恋しかない」ということは真実だ"が導かれる
2. 推論1と事実1から、推論2: "あの紫色は恋しかない"が導かれる
3. 推論2と事実13から、推論3: "その家族経営はつべたくない"が導かれる
4. 推論3と事実12から、推論4: "その家族経営は版権でなくてかつそれはつべたくない"が導かれる
5. 推論4から、推論5: "なんらかのものは版権でないしさらにつべたいということはない"が導かれる
6. 推論5と事実10から、推論6: "「この先後は突き当たる」ということは成り立つ"が導かれる
7. 推論6と事実8から、仮説が導かれる

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