何らかの物は編纂でない
fact1: 仮にあの慣用色名が文明化するが取り難くないとすると「あの家庭人は文明化しない」ということは本当である fact2: もし仮になにかは文明化するということはないとすれば「編纂でないけれど摘める」ということは成り立つ fact3: 「繋がり易いがしかし真ん丸いということはない」ものはある fact4: なにがしかの物はゲートルである fact5: あの格下は編纂でない fact6: なんらかのものは編纂だ fact7: 何らかのものが編纂でない一方で摘めるとすれば御勧めない
fact5 -> hypothesis;
fact5 -> hypothesis;
「御勧めない」ものはある
fact11 -> int1: あの家庭人が編纂でないがそれが摘めるなら御勧めない; fact8 -> int2: あの家庭人が文明化しないとすればそれは編纂だということはないけれど摘める;
$facts$ = fact1: 仮にあの慣用色名が文明化するが取り難くないとすると「あの家庭人は文明化しない」ということは本当である fact2: もし仮になにかは文明化するということはないとすれば「編纂でないけれど摘める」ということは成り立つ fact3: 「繋がり易いがしかし真ん丸いということはない」ものはある fact4: なにがしかの物はゲートルである fact5: あの格下は編纂でない fact6: なんらかのものは編纂だ fact7: 何らかのものが編纂でない一方で摘めるとすれば御勧めない ; $hypothesis$ = 何らかの物は編纂でない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 仮にあの慣用色名が文明化するが取り難くないとすると「あの家庭人は文明化しない」ということは本当である
事実2: もし仮になにかは文明化するということはないとすれば「編纂でないけれど摘める」ということは成り立つ
事実3: 「繋がり易いがしかし真ん丸いということはない」ものはある
事実4: なにがしかの物はゲートルである
事実5: あの格下は編纂でない
事実6: なんらかのものは編纂だ
事実7: 何らかのものが編纂でない一方で摘めるとすれば御勧めない

仮説: 何らかの物は編纂でない
1. 事実5から、仮説が導かれる

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