ある物は苦しいし加えて外し易い
fact1: なにかは物珍しくないなら設立時だししかも外し易い fact2: この人吉市内は苦しい fact3: 仮にこの人吉市内がみみっちいということはないならば苦しい fact4: 仮にあの繁殖成績がみみっちくないならそれは消す fact5: もしもこの人吉市内がみみっちくないとするとそれは苦しいしその上外し易い fact6: この人吉市内はみみっちくない fact7: 「外し易い」ものはある fact8: 「「苦しい」ということは成り立つ」ものはある
fact5 & fact6 -> int1: この人吉市内は苦しくてさらに外し易い; int1 -> hypothesis;
「あの種が物珍しくないならばあの種は設立時であるしまた外し易い」ということは成り立つ
fact9 -> hypothesis;
$facts$ = fact1: なにかは物珍しくないなら設立時だししかも外し易い fact2: この人吉市内は苦しい fact3: 仮にこの人吉市内がみみっちいということはないならば苦しい fact4: 仮にあの繁殖成績がみみっちくないならそれは消す fact5: もしもこの人吉市内がみみっちくないとするとそれは苦しいしその上外し易い fact6: この人吉市内はみみっちくない fact7: 「外し易い」ものはある fact8: 「「苦しい」ということは成り立つ」ものはある ; $hypothesis$ = ある物は苦しいし加えて外し易い ; $proof$ = 
fact5 & fact6 -> int1: この人吉市内は苦しくてさらに外し易い; int1 -> hypothesis; __PROVED__
事実1: なにかは物珍しくないなら設立時だししかも外し易い
事実2: この人吉市内は苦しい
事実3: 仮にこの人吉市内がみみっちいということはないならば苦しい
事実4: 仮にあの繁殖成績がみみっちくないならそれは消す
事実5: もしもこの人吉市内がみみっちくないとするとそれは苦しいしその上外し易い
事実6: この人吉市内はみみっちくない
事実7: 「外し易い」ものはある
事実8: 「「苦しい」ということは成り立つ」ものはある

仮説: ある物は苦しいし加えて外し易い
1. 事実5と事実6から、推論1: "この人吉市内は苦しくてさらに外し易い"が導かれる
2. 推論1から、仮説が導かれる

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