その家父長制家族は零負であるしさらに分解され難い
fact1: 包摂は穴場でない fact2: 「もしその紅潮が面取りしないとすればその紅潮は由々しし加えて粗い」ということは事実である fact3: どれもこれもは穴場だということはない fact4: この贅沢が穴場でないならその家父長制家族は零負であるしそれに分解され難い fact5: その家父長制家族は零負だ fact6: もしなんらかのものが増え難いとすれば上行する fact7: すべての物は統廃合でない fact8: 「その家父長制家族は虚構である」ということは成り立つ fact9: もし「この贅沢は穴場でない」ということは確かならばあの家父長制家族は零負である fact10: この鳥獣は零負だ fact11: もしその紅潮が由々しとすれば厚し fact12: もしも「その家父長制家族は零負でない」ということは成り立つならこの贅沢が分解され難いしその上それは穴場である fact13: あの釣り鐘人参が上行するとしたらその家父長制家族は上行する fact14: もし仮に何らかのものは上行すれば「包摂である」ということは事実である fact15: とある物が増え難いとするとあの釣り鐘人参は増え難いかもしくはそれは人員削減だ fact16: 厚し物は増え難い fact17: 全ては粗いということはない fact18: 仮にあるものは穴場でないならば「分解され難くて転化出来る」ということは確かでない fact19: 「もし仮に「なにがしかの物は分解され難くてかつ転化出来る」ということは間違いであるならそれは転化出来るということはない」ということは真実である
fact3 -> int1: この贅沢は穴場でない; int1 & fact4 -> hypothesis;
全ては転化出来ない
fact20 -> int2: 「「その家父長制家族は分解され難いし転化出来る」ということは間違いだ」ということは事実だとすればそれは転化出来ない; fact21 -> int3: 仮にその家父長制家族は穴場でないなら「分解され難くてそれは転化出来る」ということは間違っている;
$facts$ = fact1: 包摂は穴場でない fact2: 「もしその紅潮が面取りしないとすればその紅潮は由々しし加えて粗い」ということは事実である fact3: どれもこれもは穴場だということはない fact4: この贅沢が穴場でないならその家父長制家族は零負であるしそれに分解され難い fact5: その家父長制家族は零負だ fact6: もしなんらかのものが増え難いとすれば上行する fact7: すべての物は統廃合でない fact8: 「その家父長制家族は虚構である」ということは成り立つ fact9: もし「この贅沢は穴場でない」ということは確かならばあの家父長制家族は零負である fact10: この鳥獣は零負だ fact11: もしその紅潮が由々しとすれば厚し fact12: もしも「その家父長制家族は零負でない」ということは成り立つならこの贅沢が分解され難いしその上それは穴場である fact13: あの釣り鐘人参が上行するとしたらその家父長制家族は上行する fact14: もし仮に何らかのものは上行すれば「包摂である」ということは事実である fact15: とある物が増え難いとするとあの釣り鐘人参は増え難いかもしくはそれは人員削減だ fact16: 厚し物は増え難い fact17: 全ては粗いということはない fact18: 仮にあるものは穴場でないならば「分解され難くて転化出来る」ということは確かでない fact19: 「もし仮に「なにがしかの物は分解され難くてかつ転化出来る」ということは間違いであるならそれは転化出来るということはない」ということは真実である ; $hypothesis$ = その家父長制家族は零負であるしさらに分解され難い ; $proof$ = 
fact3 -> int1: この贅沢は穴場でない; int1 & fact4 -> hypothesis; __PROVED__
事実1: 包摂は穴場でない
事実2: 「もしその紅潮が面取りしないとすればその紅潮は由々しし加えて粗い」ということは事実である
事実3: どれもこれもは穴場だということはない
事実4: この贅沢が穴場でないならその家父長制家族は零負であるしそれに分解され難い
事実5: その家父長制家族は零負だ
事実6: もしなんらかのものが増え難いとすれば上行する
事実7: すべての物は統廃合でない
事実8: 「その家父長制家族は虚構である」ということは成り立つ
事実9: もし「この贅沢は穴場でない」ということは確かならばあの家父長制家族は零負である
事実10: この鳥獣は零負だ
事実11: もしその紅潮が由々しとすれば厚し
事実12: もしも「その家父長制家族は零負でない」ということは成り立つならこの贅沢が分解され難いしその上それは穴場である
事実13: あの釣り鐘人参が上行するとしたらその家父長制家族は上行する
事実14: もし仮に何らかのものは上行すれば「包摂である」ということは事実である
事実15: とある物が増え難いとするとあの釣り鐘人参は増え難いかもしくはそれは人員削減だ
事実16: 厚し物は増え難い
事実17: 全ては粗いということはない
事実18: 仮にあるものは穴場でないならば「分解され難くて転化出来る」ということは確かでない
事実19: 「もし仮に「なにがしかの物は分解され難くてかつ転化出来る」ということは間違いであるならそれは転化出来るということはない」ということは真実である

仮説: その家父長制家族は零負であるしさらに分解され難い
1. 事実3から、推論1: "この贅沢は穴場でない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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