その縦横学派は擦り寄せる
fact1: もしこのＴＩＦＦ形式が掘り起こすとすれば更生する fact2: このＴＩＦＦ形式が話せるとしたらその縦横学派は擦り寄せないがしかし堕落する fact3: もし仮にあるものが擦り寄せるならそれは堕落する fact4: このＴＩＦＦ形式は堕落する fact5: このＴＩＦＦ形式は地域でないしおまけに資しない fact6: 仮に「なんらかのものは折衝するしそれにそれは地域である」ということは間違いであるなら資しない fact7: 仮に「なんらかの物は地域であるということはないしその上資しない」ということは事実であるとすればそれは掘り起こす fact8: もしもなんらかの物は話せれば「擦り寄せる」ということは間違いでない fact9: もしもこのＴＩＦＦ形式が更生しないとすると小男だしさらに話せる fact10: もしこのＴＩＦＦ形式が堕落するとすればその縦横学派は擦り寄せる
fact10 & fact4 -> hypothesis;
fact10 & fact4 -> hypothesis;
この一段階は堕落する
fact12 -> int1: もし仮に「この一段階は擦り寄せる」ということは事実であるならば堕落する; fact14 -> int2: 「仮にこの一段階が話せるならこの一段階は擦り寄せる」ということは成り立つ; fact11 -> int3: 仮にこのＴＩＦＦ形式は地域でなくて資しないなら「それは掘り起こす」ということは本当である; int3 & fact15 -> int4: 「このＴＩＦＦ形式は掘り起こす」ということは確かだ; fact13 & int4 -> int5: このＴＩＦＦ形式は更生する; int5 -> int6: 「更生する」ものはある;
$facts$ = fact1: もしこのＴＩＦＦ形式が掘り起こすとすれば更生する fact2: このＴＩＦＦ形式が話せるとしたらその縦横学派は擦り寄せないがしかし堕落する fact3: もし仮にあるものが擦り寄せるならそれは堕落する fact4: このＴＩＦＦ形式は堕落する fact5: このＴＩＦＦ形式は地域でないしおまけに資しない fact6: 仮に「なんらかのものは折衝するしそれにそれは地域である」ということは間違いであるなら資しない fact7: 仮に「なんらかの物は地域であるということはないしその上資しない」ということは事実であるとすればそれは掘り起こす fact8: もしもなんらかの物は話せれば「擦り寄せる」ということは間違いでない fact9: もしもこのＴＩＦＦ形式が更生しないとすると小男だしさらに話せる fact10: もしこのＴＩＦＦ形式が堕落するとすればその縦横学派は擦り寄せる ; $hypothesis$ = その縦横学派は擦り寄せる ; $proof$ = 
fact10 & fact4 -> hypothesis; __PROVED__
事実1: もしこのＴＩＦＦ形式が掘り起こすとすれば更生する
事実2: このＴＩＦＦ形式が話せるとしたらその縦横学派は擦り寄せないがしかし堕落する
事実3: もし仮にあるものが擦り寄せるならそれは堕落する
事実4: このＴＩＦＦ形式は堕落する
事実5: このＴＩＦＦ形式は地域でないしおまけに資しない
事実6: 仮に「なんらかのものは折衝するしそれにそれは地域である」ということは間違いであるなら資しない
事実7: 仮に「なんらかの物は地域であるということはないしその上資しない」ということは事実であるとすればそれは掘り起こす
事実8: もしもなんらかの物は話せれば「擦り寄せる」ということは間違いでない
事実9: もしもこのＴＩＦＦ形式が更生しないとすると小男だしさらに話せる
事実10: もしこのＴＩＦＦ形式が堕落するとすればその縦横学派は擦り寄せる

仮説: その縦横学派は擦り寄せる
1. 事実10と事実4から、仮説が導かれる

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