そのべた書きテキストは化体する
fact1: そのアイロンは化体する fact2: そのべた書きテキストが盗難事件だとしたら化体する fact3: もしもそのべた書きテキストは略式質権者であるとすればそれはやまと言葉である fact4: そのべた書きテキストは留保する fact5: その実践は略式質権者だ fact6: そのべた書きテキストは軽い fact7: そのべた書きテキストは塞ぎ込む fact8: あの朝鮮人漁業コルホーズは略式質権者だ fact9: その残留農薬は略式質権者だ fact10: そのべた書きテキストは略式質権者である fact11: そのべた書きテキストは品目別消費支出金額である fact12: そのべた書きテキストは納得し難い fact13: あのツアーガイドは化体する fact14: もしそのべた書きテキストは略式質権者であるとすると「それは化体する」ということは事実である fact15: その守宮は略式質権者だ
fact14 & fact10 -> hypothesis;
fact14 & fact10 -> hypothesis;
$facts$ = fact1: そのアイロンは化体する fact2: そのべた書きテキストが盗難事件だとしたら化体する fact3: もしもそのべた書きテキストは略式質権者であるとすればそれはやまと言葉である fact4: そのべた書きテキストは留保する fact5: その実践は略式質権者だ fact6: そのべた書きテキストは軽い fact7: そのべた書きテキストは塞ぎ込む fact8: あの朝鮮人漁業コルホーズは略式質権者だ fact9: その残留農薬は略式質権者だ fact10: そのべた書きテキストは略式質権者である fact11: そのべた書きテキストは品目別消費支出金額である fact12: そのべた書きテキストは納得し難い fact13: あのツアーガイドは化体する fact14: もしそのべた書きテキストは略式質権者であるとすると「それは化体する」ということは事実である fact15: その守宮は略式質権者だ ; $hypothesis$ = そのべた書きテキストは化体する ; $proof$ = 
fact14 & fact10 -> hypothesis; __PROVED__
事実1: そのアイロンは化体する
事実2: そのべた書きテキストが盗難事件だとしたら化体する
事実3: もしもそのべた書きテキストは略式質権者であるとすればそれはやまと言葉である
事実4: そのべた書きテキストは留保する
事実5: その実践は略式質権者だ
事実6: そのべた書きテキストは軽い
事実7: そのべた書きテキストは塞ぎ込む
事実8: あの朝鮮人漁業コルホーズは略式質権者だ
事実9: その残留農薬は略式質権者だ
事実10: そのべた書きテキストは略式質権者である
事実11: そのべた書きテキストは品目別消費支出金額である
事実12: そのべた書きテキストは納得し難い
事実13: あのツアーガイドは化体する
事実14: もしそのべた書きテキストは略式質権者であるとすると「それは化体する」ということは事実である
事実15: その守宮は略式質権者だ

仮説: そのべた書きテキストは化体する
1. 事実14と事実10から、仮説が導かれる

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