「もし仮に結核でないならば「更生しないがしかし出現し易い」ということは成り立たない」物はある
fact1: 仮に「あの欧米社会は結核だ」ということは事実であるとすれば「更生するということはないが出現し易い」ということは成り立たない fact2: もしあの欧米社会は結核でないとすると「更生するということはない一方で出現し易い」ということは成り立たない fact3: 「もし仮に結核でないとすれば「更生するし出現し易い」ということは事実でない」物はある fact4: もし仮にあの欧米社会は呪術性でないとしたらそれは御泊まり下さらないが結核である
fact2 -> hypothesis;
$facts$ = fact1: 仮に「あの欧米社会は結核だ」ということは事実であるとすれば「更生するということはないが出現し易い」ということは成り立たない fact2: もしあの欧米社会は結核でないとすると「更生するということはない一方で出現し易い」ということは成り立たない fact3: 「もし仮に結核でないとすれば「更生するし出現し易い」ということは事実でない」物はある fact4: もし仮にあの欧米社会は呪術性でないとしたらそれは御泊まり下さらないが結核である ; $hypothesis$ = 「もし仮に結核でないならば「更生しないがしかし出現し易い」ということは成り立たない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮に「あの欧米社会は結核だ」ということは事実であるとすれば「更生するということはないが出現し易い」ということは成り立たない
事実2: もしあの欧米社会は結核でないとすると「更生するということはない一方で出現し易い」ということは成り立たない
事実3: 「もし仮に結核でないとすれば「更生するし出現し易い」ということは事実でない」物はある
事実4: もし仮にあの欧米社会は呪術性でないとしたらそれは御泊まり下さらないが結核である

仮説: 「もし仮に結核でないならば「更生しないがしかし出現し易い」ということは成り立たない」物はある
1. 事実2から、仮説が導かれる

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