その予想以上は概念化するかもしくは凝固因子であるかまたは両方ともである
fact1: 村落毎は概念化する fact2: もしなんらかのものが一つ辺りならばそれは村落毎だ fact3: その予想以上は概念化するししかも村落毎だ fact4: もしも「なにかは一つ辺りであるということはない一方でそれは言い聞かせる」ということは成り立たないならそれは一つ辺りである fact5: もしなんらかの物は凝固因子であるとすれば軍夫である fact6: 「その濁点は一つ辺りだということはないけど言い聞かせる」ということは嘘だ fact7: もしもその濁点が生き辛くないならばそれは凝固因子だし選択し易い
fact3 -> int1: その予想以上は概念化する; int1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 -> hypothesis;
その濁点は概念化するしそれは軍夫である
fact10 -> int2: 仮にその濁点は村落毎であるとしたら概念化する; fact12 -> int3: もしもその濁点が一つ辺りだとすればそれは村落毎だ; fact11 -> int4: 「「その濁点は一つ辺りでない一方で言い聞かせる」ということは確かだ」ということは偽であるとしたらそれは一つ辺りである; int4 & fact13 -> int5: その濁点は一つ辺りである; int3 & int5 -> int6: その濁点は村落毎だ; int2 & int6 -> int7: その濁点は概念化する; fact8 -> int8: もしその濁点は凝固因子であるなら「それは軍夫である」ということは真実である;
$facts$ = fact1: 村落毎は概念化する fact2: もしなんらかのものが一つ辺りならばそれは村落毎だ fact3: その予想以上は概念化するししかも村落毎だ fact4: もしも「なにかは一つ辺りであるということはない一方でそれは言い聞かせる」ということは成り立たないならそれは一つ辺りである fact5: もしなんらかの物は凝固因子であるとすれば軍夫である fact6: 「その濁点は一つ辺りだということはないけど言い聞かせる」ということは嘘だ fact7: もしもその濁点が生き辛くないならばそれは凝固因子だし選択し易い ; $hypothesis$ = その予想以上は概念化するかもしくは凝固因子であるかまたは両方ともである ; $proof$ = 
fact3 -> int1: その予想以上は概念化する; int1 -> hypothesis; __PROVED__
事実1: 村落毎は概念化する
事実2: もしなんらかのものが一つ辺りならばそれは村落毎だ
事実3: その予想以上は概念化するししかも村落毎だ
事実4: もしも「なにかは一つ辺りであるということはない一方でそれは言い聞かせる」ということは成り立たないならそれは一つ辺りである
事実5: もしなんらかの物は凝固因子であるとすれば軍夫である
事実6: 「その濁点は一つ辺りだということはないけど言い聞かせる」ということは嘘だ
事実7: もしもその濁点が生き辛くないならばそれは凝固因子だし選択し易い

仮説: その予想以上は概念化するかもしくは凝固因子であるかまたは両方ともである
1. 事実3から、推論1: "その予想以上は概念化する"が導かれる
2. 推論1から、仮説が導かれる

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