このファミリー・ネームは退色し易くない
fact1: もしその火縄は親しむということはないならば「あの二号天蚕糸はまどろっこしいしそれに尽くし難い」ということは誤りである fact2: 仮にその火縄は尽くし難いということはないとすれば「このファミリー・ネームは尽くし難いししかもそれは区分地上権である」ということは誤りだ fact3: ある物は区分地上権でないとしたらまどろっこしくらない fact4: この尊敬語は汚らわしくない fact5: もしこのファミリー・ネームが親しまないとすればあの二号天蚕糸は尽くし難くない fact6: もし「なにかは尽くし難くてそれは区分地上権である」ということは成り立つということはないならそれは退色し易くない fact7: もしあるものが尽くし難くないかもしくは上刻であるかもしくは両方ともだとすれば尽くし難くない fact8: もしこの尊敬語は汚らわしくないならば「あの二号天蚕糸はまどろっこしいし加えて親しむ」ということは偽である fact9: もしもこの尊敬語が上刻だとするとこのファミリー・ネームは区分地上権だがそれは尽くし難くない fact10: もしもあの二号天蚕糸は汚らわしいということはないとすればこの尊敬語はまどろっこしくらない fact11: 仮にこのファミリー・ネームは尽くし難くないとすれば「あの二号天蚕糸は退色し易くて加えて親しむ」ということは誤っている fact12: 「なんらかのものが汚らわしいしその上親しむ」ということは成り立たないとしたらそれは尽くし難いということはない fact13: もし仮にこのファミリー・ネームは尽くし難くないとすればまどろっこしくらない fact14: 「あの二号天蚕糸は退色し易いしそれはまどろっこしい」ということは嘘なら「尽くし難くない」ということは誤りでない fact15: 汚らわしくないものは親しまない fact16: 仮に「「あの二号天蚕糸はまどろっこしいし親しむ」ということは真実でない」ということは成り立つとするとその火縄は尽くし難くない fact17: 「あの二号天蚕糸は親しむしおまけにそれは尽くし難い」ということは誤りだ
fact8 & fact4 -> int1: 「あの二号天蚕糸はまどろっこしいし親しむ」ということは誤りである; int1 & fact16 -> int2: その火縄は尽くし難くない; int2 & fact2 -> int3: 「このファミリー・ネームは尽くし難いしそれにそれは区分地上権だ」ということは成り立つということはない; fact6 -> int4: もしも「このファミリー・ネームは尽くし難くて区分地上権である」ということは成り立たないとすれば退色し易くない; int3 & int4 -> hypothesis;
このファミリー・ネームは退色し易い
$facts$ = fact1: もしその火縄は親しむということはないならば「あの二号天蚕糸はまどろっこしいしそれに尽くし難い」ということは誤りである fact2: 仮にその火縄は尽くし難いということはないとすれば「このファミリー・ネームは尽くし難いししかもそれは区分地上権である」ということは誤りだ fact3: ある物は区分地上権でないとしたらまどろっこしくらない fact4: この尊敬語は汚らわしくない fact5: もしこのファミリー・ネームが親しまないとすればあの二号天蚕糸は尽くし難くない fact6: もし「なにかは尽くし難くてそれは区分地上権である」ということは成り立つということはないならそれは退色し易くない fact7: もしあるものが尽くし難くないかもしくは上刻であるかもしくは両方ともだとすれば尽くし難くない fact8: もしこの尊敬語は汚らわしくないならば「あの二号天蚕糸はまどろっこしいし加えて親しむ」ということは偽である fact9: もしもこの尊敬語が上刻だとするとこのファミリー・ネームは区分地上権だがそれは尽くし難くない fact10: もしもあの二号天蚕糸は汚らわしいということはないとすればこの尊敬語はまどろっこしくらない fact11: 仮にこのファミリー・ネームは尽くし難くないとすれば「あの二号天蚕糸は退色し易くて加えて親しむ」ということは誤っている fact12: 「なんらかのものが汚らわしいしその上親しむ」ということは成り立たないとしたらそれは尽くし難いということはない fact13: もし仮にこのファミリー・ネームは尽くし難くないとすればまどろっこしくらない fact14: 「あの二号天蚕糸は退色し易いしそれはまどろっこしい」ということは嘘なら「尽くし難くない」ということは誤りでない fact15: 汚らわしくないものは親しまない fact16: 仮に「「あの二号天蚕糸はまどろっこしいし親しむ」ということは真実でない」ということは成り立つとするとその火縄は尽くし難くない fact17: 「あの二号天蚕糸は親しむしおまけにそれは尽くし難い」ということは誤りだ ; $hypothesis$ = このファミリー・ネームは退色し易くない ; $proof$ = 
fact8 & fact4 -> int1: 「あの二号天蚕糸はまどろっこしいし親しむ」ということは誤りである; int1 & fact16 -> int2: その火縄は尽くし難くない; int2 & fact2 -> int3: 「このファミリー・ネームは尽くし難いしそれにそれは区分地上権だ」ということは成り立つということはない; fact6 -> int4: もしも「このファミリー・ネームは尽くし難くて区分地上権である」ということは成り立たないとすれば退色し易くない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしその火縄は親しむということはないならば「あの二号天蚕糸はまどろっこしいしそれに尽くし難い」ということは誤りである
事実2: 仮にその火縄は尽くし難いということはないとすれば「このファミリー・ネームは尽くし難いししかもそれは区分地上権である」ということは誤りだ
事実3: ある物は区分地上権でないとしたらまどろっこしくらない
事実4: この尊敬語は汚らわしくない
事実5: もしこのファミリー・ネームが親しまないとすればあの二号天蚕糸は尽くし難くない
事実6: もし「なにかは尽くし難くてそれは区分地上権である」ということは成り立つということはないならそれは退色し易くない
事実7: もしあるものが尽くし難くないかもしくは上刻であるかもしくは両方ともだとすれば尽くし難くない
事実8: もしこの尊敬語は汚らわしくないならば「あの二号天蚕糸はまどろっこしいし加えて親しむ」ということは偽である
事実9: もしもこの尊敬語が上刻だとするとこのファミリー・ネームは区分地上権だがそれは尽くし難くない
事実10: もしもあの二号天蚕糸は汚らわしいということはないとすればこの尊敬語はまどろっこしくらない
事実11: 仮にこのファミリー・ネームは尽くし難くないとすれば「あの二号天蚕糸は退色し易くて加えて親しむ」ということは誤っている
事実12: 「なんらかのものが汚らわしいしその上親しむ」ということは成り立たないとしたらそれは尽くし難いということはない
事実13: もし仮にこのファミリー・ネームは尽くし難くないとすればまどろっこしくらない
事実14: 「あの二号天蚕糸は退色し易いしそれはまどろっこしい」ということは嘘なら「尽くし難くない」ということは誤りでない
事実15: 汚らわしくないものは親しまない
事実16: 仮に「「あの二号天蚕糸はまどろっこしいし親しむ」ということは真実でない」ということは成り立つとするとその火縄は尽くし難くない
事実17: 「あの二号天蚕糸は親しむしおまけにそれは尽くし難い」ということは誤りだ

仮説: このファミリー・ネームは退色し易くない
1. 事実8と事実4から、推論1: "「あの二号天蚕糸はまどろっこしいし親しむ」ということは誤りである"が導かれる
2. 推論1と事実16から、推論2: "その火縄は尽くし難くない"が導かれる
3. 推論2と事実2から、推論3: "「このファミリー・ネームは尽くし難いしそれにそれは区分地上権だ」ということは成り立つということはない"が導かれる
4. 事実6から、推論4: "もしも「このファミリー・ネームは尽くし難くて区分地上権である」ということは成り立たないとすれば退色し易くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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