その出分かれは受け入れ難い
fact1: 仮に「貫徹しない」ものがあるとすればあの低位は菌糸だ fact2: 「「競り上げるし貫徹する」ということは誤っている」物はある fact3: もしその低位が菌糸ならそれは痩せ難い fact4: もしも「その低位は受け入れ難いし更に菌糸だ」ということは偽だとすればその出分かれは受け入れ難くない fact5: 「なにがしかの物は固執するかそれは空かないかどちらもだ」ということは事実でないとしたらそれはドリップしない fact6: もし「「競り上げるし貫徹する」ということは成り立たない」ものがあるとするとその低位は菌糸である fact7: もしその低位は痩せ難いとすると「その出分かれは受け入れ難い」ということは正しい fact8: ある物は競り上げるし加えて貫徹する fact9: 仮に何らかの物がドリップしないとすればそれは痩せ難いし女工さんだ
fact2 & fact6 -> int1: その低位は菌糸である; int1 & fact3 -> int2: その低位は痩せ難い; int2 & fact7 -> hypothesis;
その出分かれは受け入れ難くない
fact11 -> int3: もし「そのレディはドリップしない」ということは成り立つとしたら痩せ難いしさらに女工さんである; fact10 -> int4: もし「そのレディは固執するかまたは空かない」ということは偽であるならドリップしない;
$facts$ = fact1: 仮に「貫徹しない」ものがあるとすればあの低位は菌糸だ fact2: 「「競り上げるし貫徹する」ということは誤っている」物はある fact3: もしその低位が菌糸ならそれは痩せ難い fact4: もしも「その低位は受け入れ難いし更に菌糸だ」ということは偽だとすればその出分かれは受け入れ難くない fact5: 「なにがしかの物は固執するかそれは空かないかどちらもだ」ということは事実でないとしたらそれはドリップしない fact6: もし「「競り上げるし貫徹する」ということは成り立たない」ものがあるとするとその低位は菌糸である fact7: もしその低位は痩せ難いとすると「その出分かれは受け入れ難い」ということは正しい fact8: ある物は競り上げるし加えて貫徹する fact9: 仮に何らかの物がドリップしないとすればそれは痩せ難いし女工さんだ ; $hypothesis$ = その出分かれは受け入れ難い ; $proof$ = 
fact2 & fact6 -> int1: その低位は菌糸である; int1 & fact3 -> int2: その低位は痩せ難い; int2 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「貫徹しない」ものがあるとすればあの低位は菌糸だ
事実2: 「「競り上げるし貫徹する」ということは誤っている」物はある
事実3: もしその低位が菌糸ならそれは痩せ難い
事実4: もしも「その低位は受け入れ難いし更に菌糸だ」ということは偽だとすればその出分かれは受け入れ難くない
事実5: 「なにがしかの物は固執するかそれは空かないかどちらもだ」ということは事実でないとしたらそれはドリップしない
事実6: もし「「競り上げるし貫徹する」ということは成り立たない」ものがあるとするとその低位は菌糸である
事実7: もしその低位は痩せ難いとすると「その出分かれは受け入れ難い」ということは正しい
事実8: ある物は競り上げるし加えて貫徹する
事実9: 仮に何らかの物がドリップしないとすればそれは痩せ難いし女工さんだ

仮説: その出分かれは受け入れ難い
1. 事実2と事実6から、推論1: "その低位は菌糸である"が導かれる
2. 推論1と事実3から、推論2: "その低位は痩せ難い"が導かれる
3. 推論2と事実7から、仮説が導かれる

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