その自己抗原は輸送する
fact1: 共鳴し易い物は表示し為さらないし不味くない fact2: あの捕縛は連盟体だ fact3: この縄編みは連盟体だし抱き取る fact4: あの捕縛は連盟体であるしかつ更年期障害だ fact5: もしもその十七世紀末が値する一方でそれが溝切り器でないならばそのクリントン政権時代は値しない fact6: もし「「その十七世紀末は遣り遂げないけれど南下する」ということは間違いである」ということは正しいとすれば値する fact7: もしもそのＪＡＭＡが溝切り器でかつえげつないならその十七世紀末は溝切り器でない fact8: あの捕縛は連盟体であるし加えて肯定す fact9: あの捕縛が肯定すとするとその自己抗原は輸送する fact10: もし仮にそのクリントン政権時代が値しないならばあの捕縛は白波であるし更に共鳴し易い fact11: もし仮にそのＪＡＭＡはプライマリー・バランスでないとするとそれは溝切り器であるしえげつない fact12: 「その十七世紀末は遣り遂げないがしかしそれは南下する」ということは成り立たない fact13: もしあるものが肯定すということはないとすれば連盟体だしそれは輸送する fact14: もしあの捕縛が輸送するとするとその自己抗原は輸送しない fact15: もし仮にある物は表示し為さらなくて加えて不味くないなら肯定すらない fact16: 連盟体は継続費である
fact8 -> int1: 「あの捕縛は肯定す」ということは確かだ; int1 & fact9 -> hypothesis;
その学生は継続費でおまけに輸送する
fact17 -> int2: 仮に「その学生は連盟体である」ということは事実であるならば「継続費である」ということは誤っていない;
$facts$ = fact1: 共鳴し易い物は表示し為さらないし不味くない fact2: あの捕縛は連盟体だ fact3: この縄編みは連盟体だし抱き取る fact4: あの捕縛は連盟体であるしかつ更年期障害だ fact5: もしもその十七世紀末が値する一方でそれが溝切り器でないならばそのクリントン政権時代は値しない fact6: もし「「その十七世紀末は遣り遂げないけれど南下する」ということは間違いである」ということは正しいとすれば値する fact7: もしもそのＪＡＭＡが溝切り器でかつえげつないならその十七世紀末は溝切り器でない fact8: あの捕縛は連盟体であるし加えて肯定す fact9: あの捕縛が肯定すとするとその自己抗原は輸送する fact10: もし仮にそのクリントン政権時代が値しないならばあの捕縛は白波であるし更に共鳴し易い fact11: もし仮にそのＪＡＭＡはプライマリー・バランスでないとするとそれは溝切り器であるしえげつない fact12: 「その十七世紀末は遣り遂げないがしかしそれは南下する」ということは成り立たない fact13: もしあるものが肯定すということはないとすれば連盟体だしそれは輸送する fact14: もしあの捕縛が輸送するとするとその自己抗原は輸送しない fact15: もし仮にある物は表示し為さらなくて加えて不味くないなら肯定すらない fact16: 連盟体は継続費である ; $hypothesis$ = その自己抗原は輸送する ; $proof$ = 
fact8 -> int1: 「あの捕縛は肯定す」ということは確かだ; int1 & fact9 -> hypothesis; __PROVED__
事実1: 共鳴し易い物は表示し為さらないし不味くない
事実2: あの捕縛は連盟体だ
事実3: この縄編みは連盟体だし抱き取る
事実4: あの捕縛は連盟体であるしかつ更年期障害だ
事実5: もしもその十七世紀末が値する一方でそれが溝切り器でないならばそのクリントン政権時代は値しない
事実6: もし「「その十七世紀末は遣り遂げないけれど南下する」ということは間違いである」ということは正しいとすれば値する
事実7: もしもそのＪＡＭＡが溝切り器でかつえげつないならその十七世紀末は溝切り器でない
事実8: あの捕縛は連盟体であるし加えて肯定す
事実9: あの捕縛が肯定すとするとその自己抗原は輸送する
事実10: もし仮にそのクリントン政権時代が値しないならばあの捕縛は白波であるし更に共鳴し易い
事実11: もし仮にそのＪＡＭＡはプライマリー・バランスでないとするとそれは溝切り器であるしえげつない
事実12: 「その十七世紀末は遣り遂げないがしかしそれは南下する」ということは成り立たない
事実13: もしあるものが肯定すということはないとすれば連盟体だしそれは輸送する
事実14: もしあの捕縛が輸送するとするとその自己抗原は輸送しない
事実15: もし仮にある物は表示し為さらなくて加えて不味くないなら肯定すらない
事実16: 連盟体は継続費である

仮説: その自己抗原は輸送する
1. 事実8から、推論1: "「あの捕縛は肯定す」ということは確かだ"が導かれる
2. 推論1と事実9から、仮説が導かれる

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