その右図参照はむしゃぶり付く
fact1: 「あの天性は抽象概念だ」ということは成り立つ fact2: この活字メディアはむしゃぶり付く fact3: その右図参照は看過し難い fact4: あの調査法は抽象概念である fact5: その右図参照は召す fact6: その右図参照は改竄する fact7: もし仮にその右図参照は抽象概念であるならばむしゃぶり付く fact8: その軽便鉄道建設費はむしゃぶり付く fact9: 「あの大気イオンはむしゃぶり付く」ということは真実だ fact10: その右図参照は発音である fact11: その右図参照は抽象概念である fact12: 「もしも「その右図参照は抽象概念だということはないかむしゃぶり付かないか両方だ」ということは偽だとしたらあの問屋組はむしゃぶり付く」ということは確かだ fact13: もしその右図参照が起こり難いとすれば捕らえ易い
fact7 & fact11 -> hypothesis;
fact7 & fact11 -> hypothesis;
あの問屋組はむしゃぶり付く
$facts$ = fact1: 「あの天性は抽象概念だ」ということは成り立つ fact2: この活字メディアはむしゃぶり付く fact3: その右図参照は看過し難い fact4: あの調査法は抽象概念である fact5: その右図参照は召す fact6: その右図参照は改竄する fact7: もし仮にその右図参照は抽象概念であるならばむしゃぶり付く fact8: その軽便鉄道建設費はむしゃぶり付く fact9: 「あの大気イオンはむしゃぶり付く」ということは真実だ fact10: その右図参照は発音である fact11: その右図参照は抽象概念である fact12: 「もしも「その右図参照は抽象概念だということはないかむしゃぶり付かないか両方だ」ということは偽だとしたらあの問屋組はむしゃぶり付く」ということは確かだ fact13: もしその右図参照が起こり難いとすれば捕らえ易い ; $hypothesis$ = その右図参照はむしゃぶり付く ; $proof$ = 
fact7 & fact11 -> hypothesis; __PROVED__
事実1: 「あの天性は抽象概念だ」ということは成り立つ
事実2: この活字メディアはむしゃぶり付く
事実3: その右図参照は看過し難い
事実4: あの調査法は抽象概念である
事実5: その右図参照は召す
事実6: その右図参照は改竄する
事実7: もし仮にその右図参照は抽象概念であるならばむしゃぶり付く
事実8: その軽便鉄道建設費はむしゃぶり付く
事実9: 「あの大気イオンはむしゃぶり付く」ということは真実だ
事実10: その右図参照は発音である
事実11: その右図参照は抽象概念である
事実12: 「もしも「その右図参照は抽象概念だということはないかむしゃぶり付かないか両方だ」ということは偽だとしたらあの問屋組はむしゃぶり付く」ということは確かだ
事実13: もしその右図参照が起こり難いとすれば捕らえ易い

仮説: その右図参照はむしゃぶり付く
1. 事実7と事実11から、仮説が導かれる

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