そのハプスブルク家は与し易くておまけにつれない
fact1: そのハプスブルク家はつれない fact2: もし何らかのものは会社負担でないならば「それは与し易くてまたつれない」ということは間違いだ fact3: 「あの超過部分はつれないし一投足だ」ということは成り立つ fact4: そのハプスブルク家は建国するし九番人気である fact5: この出場機会はつれなくてさらに御濃い fact6: 「そのハプスブルク家は愚かしい」ということは確かだ fact7: そのハプスブルク家は引き出し易くてまたそれは情報部長である fact8: その注入時はつれない fact9: そのハプスブルク家は与し易い
fact9 & fact1 -> hypothesis;
fact9 & fact1 -> hypothesis;
「そのハプスブルク家は与し易いしさらにつれない」ということは間違っている
fact10 -> int1: もし仮にそのハプスブルク家は会社負担だということはないとすれば「それが与し易いしその上それはつれない」ということは成り立たない;
$facts$ = fact1: そのハプスブルク家はつれない fact2: もし何らかのものは会社負担でないならば「それは与し易くてまたつれない」ということは間違いだ fact3: 「あの超過部分はつれないし一投足だ」ということは成り立つ fact4: そのハプスブルク家は建国するし九番人気である fact5: この出場機会はつれなくてさらに御濃い fact6: 「そのハプスブルク家は愚かしい」ということは確かだ fact7: そのハプスブルク家は引き出し易くてまたそれは情報部長である fact8: その注入時はつれない fact9: そのハプスブルク家は与し易い ; $hypothesis$ = そのハプスブルク家は与し易くておまけにつれない ; $proof$ = 
fact9 & fact1 -> hypothesis; __PROVED__
事実1: そのハプスブルク家はつれない
事実2: もし何らかのものは会社負担でないならば「それは与し易くてまたつれない」ということは間違いだ
事実3: 「あの超過部分はつれないし一投足だ」ということは成り立つ
事実4: そのハプスブルク家は建国するし九番人気である
事実5: この出場機会はつれなくてさらに御濃い
事実6: 「そのハプスブルク家は愚かしい」ということは確かだ
事実7: そのハプスブルク家は引き出し易くてまたそれは情報部長である
事実8: その注入時はつれない
事実9: そのハプスブルク家は与し易い

仮説: そのハプスブルク家は与し易くておまけにつれない
1. 事実9と事実1から、仮説が導かれる

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