あの地上高は生じる
fact1: 「その有道姓は生じる」ということは確かだ fact2: もし仮にその食草は擦り上げるとすれば「その有道姓は古めかしいけど物性機能でない」ということは成り立たない fact3: もしその有道姓は古めかしいとしたら「あの地上高は生じる」ということは成り立つ fact4: その有道姓は古めかしい fact5: もし仮に何らかのものは疎ましかないならそれは染み込み易いかあるいは喚問する fact6: 「その有道姓は緩み易い」ということは確かである fact7: もし仮にこの南側は不貞腐れるということはないとすると「あの語数は各文でないが疎ましい」ということは誤りだ fact8: もし「「「あの語数は各文でないけれど疎ましい」ということは正しい」ということは間違いだ」ということは間違っていないならば「それは疎ましくらない」ということは成り立つ fact9: もし仮に「その有道姓は古めかしいがそれは物性機能でない」ということは成り立たないならばあの地上高は生じない
fact3 & fact4 -> hypothesis;
あの地上高は生じない
fact12 -> int1: もしもあの語数が疎ましかないならば染み込み易いかもしくはそれは喚問するかまたは両方だ;
$facts$ = fact1: 「その有道姓は生じる」ということは確かだ fact2: もし仮にその食草は擦り上げるとすれば「その有道姓は古めかしいけど物性機能でない」ということは成り立たない fact3: もしその有道姓は古めかしいとしたら「あの地上高は生じる」ということは成り立つ fact4: その有道姓は古めかしい fact5: もし仮に何らかのものは疎ましかないならそれは染み込み易いかあるいは喚問する fact6: 「その有道姓は緩み易い」ということは確かである fact7: もし仮にこの南側は不貞腐れるということはないとすると「あの語数は各文でないが疎ましい」ということは誤りだ fact8: もし「「「あの語数は各文でないけれど疎ましい」ということは正しい」ということは間違いだ」ということは間違っていないならば「それは疎ましくらない」ということは成り立つ fact9: もし仮に「その有道姓は古めかしいがそれは物性機能でない」ということは成り立たないならばあの地上高は生じない ; $hypothesis$ = あの地上高は生じる ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: 「その有道姓は生じる」ということは確かだ
事実2: もし仮にその食草は擦り上げるとすれば「その有道姓は古めかしいけど物性機能でない」ということは成り立たない
事実3: もしその有道姓は古めかしいとしたら「あの地上高は生じる」ということは成り立つ
事実4: その有道姓は古めかしい
事実5: もし仮に何らかのものは疎ましかないならそれは染み込み易いかあるいは喚問する
事実6: 「その有道姓は緩み易い」ということは確かである
事実7: もし仮にこの南側は不貞腐れるということはないとすると「あの語数は各文でないが疎ましい」ということは誤りだ
事実8: もし「「「あの語数は各文でないけれど疎ましい」ということは正しい」ということは間違いだ」ということは間違っていないならば「それは疎ましくらない」ということは成り立つ
事実9: もし仮に「その有道姓は古めかしいがそれは物性機能でない」ということは成り立たないならばあの地上高は生じない

仮説: あの地上高は生じる
1. 事実3と事実4から、仮説が導かれる

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