「仮に「親近性である」ということは真実であるならば「小声でないかまたは仕上がりでない」ということは本当でない」ものはある
fact1: 仮になんらかの物は製販同盟であるならば「荘官でないかまたはそれは一世帯平均人数であるということはない」ということは事実と異なる fact2: その事書は親近性だとすれば「小声でないかまたは仕上がりでないかどちらもである」ということは間違いである
fact2 -> hypothesis;
「仮に製販同盟であるとすれば「荘官でないかまたは一世帯平均人数でないかもしくは両方だ」ということは偽である」物はある
fact3 -> int1: もし「この強行法規は製販同盟だ」ということは真実だとしたら「荘官でないかまたは一世帯平均人数でないかまたは両方である」ということは嘘である; int1 -> hypothesis;
$facts$ = fact1: 仮になんらかの物は製販同盟であるならば「荘官でないかまたはそれは一世帯平均人数であるということはない」ということは事実と異なる fact2: その事書は親近性だとすれば「小声でないかまたは仕上がりでないかどちらもである」ということは間違いである ; $hypothesis$ = 「仮に「親近性である」ということは真実であるならば「小声でないかまたは仕上がりでない」ということは本当でない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮になんらかの物は製販同盟であるならば「荘官でないかまたはそれは一世帯平均人数であるということはない」ということは事実と異なる
事実2: その事書は親近性だとすれば「小声でないかまたは仕上がりでないかどちらもである」ということは間違いである

仮説: 「仮に「親近性である」ということは真実であるならば「小声でないかまたは仕上がりでない」ということは本当でない」ものはある
1. 事実2から、仮説が導かれる

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