「「あの言語性ＬＤは収斂しないがしかし並走する」ということは成り立つということはない」ということは成り立つ
fact1: この叙事は並走する fact2: 「あの言語性ＬＤは収斂するし加えて並走する」ということは成り立たない fact3: あの言語性ＬＤは擦り抜ける fact4: もしもあの言語性ＬＤが並走するとしたらその排他的独占権は並走する fact5: あの言語性ＬＤは擦り抜けるとすると「収斂しないしかつ並走する」ということは間違いだ fact6: その酷使は擦り抜ける fact7: あの言語性ＬＤは学習出来る fact8: 仮にあの言語性ＬＤは擦り抜けるなら「収斂するしおまけにそれは並走する」ということは偽である
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
「その排他的独占権は並走する」ということは事実である
$facts$ = fact1: この叙事は並走する fact2: 「あの言語性ＬＤは収斂するし加えて並走する」ということは成り立たない fact3: あの言語性ＬＤは擦り抜ける fact4: もしもあの言語性ＬＤが並走するとしたらその排他的独占権は並走する fact5: あの言語性ＬＤは擦り抜けるとすると「収斂しないしかつ並走する」ということは間違いだ fact6: その酷使は擦り抜ける fact7: あの言語性ＬＤは学習出来る fact8: 仮にあの言語性ＬＤは擦り抜けるなら「収斂するしおまけにそれは並走する」ということは偽である ; $hypothesis$ = 「「あの言語性ＬＤは収斂しないがしかし並走する」ということは成り立つということはない」ということは成り立つ ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: この叙事は並走する
事実2: 「あの言語性ＬＤは収斂するし加えて並走する」ということは成り立たない
事実3: あの言語性ＬＤは擦り抜ける
事実4: もしもあの言語性ＬＤが並走するとしたらその排他的独占権は並走する
事実5: あの言語性ＬＤは擦り抜けるとすると「収斂しないしかつ並走する」ということは間違いだ
事実6: その酷使は擦り抜ける
事実7: あの言語性ＬＤは学習出来る
事実8: 仮にあの言語性ＬＤは擦り抜けるなら「収斂するしおまけにそれは並走する」ということは偽である

仮説: 「「あの言語性ＬＤは収斂しないがしかし並走する」ということは成り立つということはない」ということは成り立つ
1. 事実5と事実3から、仮説が導かれる

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