あの手縫いはねちっこくないがランタイム時である
fact1: もしもその堅木はねちっこくないとすればあの手縫いはランタイム時でない fact2: もしもその堅木はランタイム時でないとしたらあの手縫いはねちっこくないがしかしランタイム時である fact3: 「等し」物はある fact4: 「あの養戸主は等し」ということは真実である fact5: 「あの養戸主は馴れ馴れしいか等しないかまたはどちらもだ」ということは誤りである fact6: 仮にその堅木はランタイム時だということはないならあの手縫いはねちっこくない fact7: 仮に「「馴れ馴れしいかまたは等しということはない」ということは成り立たない」ものがあればその堅木はランタイム時でない fact8: この主婦層は思考しないけれど凌ぎである fact9: 「とあるものは馴れ馴れしいかもしくは等しないかどちらもである」ということは確かである fact10: もし仮に何かは移り行くということはないならばそれが成田山新勝寺だししかも恙無い fact11: 「あの養戸主はランタイム時であるかあるいは等しない」ということは偽だ fact12: 仮に「「馴れ馴れしいか等しかどちらもだ」ということは事実と異なる」物があるとすればあの堅木はランタイム時でない fact13: 仮に何らかの物は鍛え抜かないとすれば「それはねちっこくないけれどランタイム時である」ということは間違いだ fact14: その堅木は等しない fact15: もし仮にこのミルクが成田山新勝寺だとするとその堅木は退色し易い fact16: もし仮に「「ねちっこいかあるいは等しない」ということは成り立たない」物があるならあの手縫いはランタイム時でない fact17: あの手縫いはねちっこくない fact18: 「あの手縫いは供託出来るかあるいは馴れ馴れしくないかあるいは両方である」ということは成り立たない fact19: その堅木は成田山新勝寺でない fact20: 仮に何かは成田山新勝寺でない一方で退色し易いとしたらそれは鍛え抜かない fact21: もしも「「ねちっこいかまたは馴れ馴れしくないかもしくは両方である」ということは成り立たない」物があるとするとあの養戸主はランタイム時でない fact22: 「あのスパイは等しかあるいはそれは温くないかもしくは両方ともだ」ということは成り立たない
fact5 -> int1: 「「馴れ馴れしいかあるいは等しないかもしくは両方ともだ」ということは誤りな」ものはある; int1 & fact7 -> int2: 「その堅木はランタイム時だということはない」ということは正しい; int2 & fact2 -> hypothesis;
「あの手縫いはねちっこいということはない一方でランタイム時である」ということは成り立たない
fact24 -> int3: 仮にその堅木は成田山新勝寺でないけど退色し易いならば鍛え抜かない;
$facts$ = fact1: もしもその堅木はねちっこくないとすればあの手縫いはランタイム時でない fact2: もしもその堅木はランタイム時でないとしたらあの手縫いはねちっこくないがしかしランタイム時である fact3: 「等し」物はある fact4: 「あの養戸主は等し」ということは真実である fact5: 「あの養戸主は馴れ馴れしいか等しないかまたはどちらもだ」ということは誤りである fact6: 仮にその堅木はランタイム時だということはないならあの手縫いはねちっこくない fact7: 仮に「「馴れ馴れしいかまたは等しということはない」ということは成り立たない」ものがあればその堅木はランタイム時でない fact8: この主婦層は思考しないけれど凌ぎである fact9: 「とあるものは馴れ馴れしいかもしくは等しないかどちらもである」ということは確かである fact10: もし仮に何かは移り行くということはないならばそれが成田山新勝寺だししかも恙無い fact11: 「あの養戸主はランタイム時であるかあるいは等しない」ということは偽だ fact12: 仮に「「馴れ馴れしいか等しかどちらもだ」ということは事実と異なる」物があるとすればあの堅木はランタイム時でない fact13: 仮に何らかの物は鍛え抜かないとすれば「それはねちっこくないけれどランタイム時である」ということは間違いだ fact14: その堅木は等しない fact15: もし仮にこのミルクが成田山新勝寺だとするとその堅木は退色し易い fact16: もし仮に「「ねちっこいかあるいは等しない」ということは成り立たない」物があるならあの手縫いはランタイム時でない fact17: あの手縫いはねちっこくない fact18: 「あの手縫いは供託出来るかあるいは馴れ馴れしくないかあるいは両方である」ということは成り立たない fact19: その堅木は成田山新勝寺でない fact20: 仮に何かは成田山新勝寺でない一方で退色し易いとしたらそれは鍛え抜かない fact21: もしも「「ねちっこいかまたは馴れ馴れしくないかもしくは両方である」ということは成り立たない」物があるとするとあの養戸主はランタイム時でない fact22: 「あのスパイは等しかあるいはそれは温くないかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = あの手縫いはねちっこくないがランタイム時である ; $proof$ = 
fact5 -> int1: 「「馴れ馴れしいかあるいは等しないかもしくは両方ともだ」ということは誤りな」ものはある; int1 & fact7 -> int2: 「その堅木はランタイム時だということはない」ということは正しい; int2 & fact2 -> hypothesis; __PROVED__
事実1: もしもその堅木はねちっこくないとすればあの手縫いはランタイム時でない
事実2: もしもその堅木はランタイム時でないとしたらあの手縫いはねちっこくないがしかしランタイム時である
事実3: 「等し」物はある
事実4: 「あの養戸主は等し」ということは真実である
事実5: 「あの養戸主は馴れ馴れしいか等しないかまたはどちらもだ」ということは誤りである
事実6: 仮にその堅木はランタイム時だということはないならあの手縫いはねちっこくない
事実7: 仮に「「馴れ馴れしいかまたは等しということはない」ということは成り立たない」ものがあればその堅木はランタイム時でない
事実8: この主婦層は思考しないけれど凌ぎである
事実9: 「とあるものは馴れ馴れしいかもしくは等しないかどちらもである」ということは確かである
事実10: もし仮に何かは移り行くということはないならばそれが成田山新勝寺だししかも恙無い
事実11: 「あの養戸主はランタイム時であるかあるいは等しない」ということは偽だ
事実12: 仮に「「馴れ馴れしいか等しかどちらもだ」ということは事実と異なる」物があるとすればあの堅木はランタイム時でない
事実13: 仮に何らかの物は鍛え抜かないとすれば「それはねちっこくないけれどランタイム時である」ということは間違いだ
事実14: その堅木は等しない
事実15: もし仮にこのミルクが成田山新勝寺だとするとその堅木は退色し易い
事実16: もし仮に「「ねちっこいかあるいは等しない」ということは成り立たない」物があるならあの手縫いはランタイム時でない
事実17: あの手縫いはねちっこくない
事実18: 「あの手縫いは供託出来るかあるいは馴れ馴れしくないかあるいは両方である」ということは成り立たない
事実19: その堅木は成田山新勝寺でない
事実20: 仮に何かは成田山新勝寺でない一方で退色し易いとしたらそれは鍛え抜かない
事実21: もしも「「ねちっこいかまたは馴れ馴れしくないかもしくは両方である」ということは成り立たない」物があるとするとあの養戸主はランタイム時でない
事実22: 「あのスパイは等しかあるいはそれは温くないかもしくは両方ともだ」ということは成り立たない

仮説: あの手縫いはねちっこくないがランタイム時である
1. 事実5から、推論1: "「「馴れ馴れしいかあるいは等しないかもしくは両方ともだ」ということは誤りな」ものはある"が導かれる
2. 推論1と事実7から、推論2: "「その堅木はランタイム時だということはない」ということは正しい"が導かれる
3. 推論2と事実2から、仮説が導かれる

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