その一部銘柄は俗っぽい
fact1: この紆余曲折は浸軟しない fact2: その一部銘柄は固執だ fact3: その一部銘柄は浸軟しない fact4: その一部銘柄が俗っぽくないならこの修証は信じ易いが素晴らしさでない fact5: あの小子は浸軟するがしかしロックでない fact6: あの手始めは俗っぽくない fact7: 「その一部銘柄は俗っぽいがしかしそれは浸軟するということはない」ということは事実である fact8: その一部銘柄は素晴らしさである
fact7 -> hypothesis;
fact7 -> hypothesis;
この修証は信じ易いが素晴らしさでない
$facts$ = fact1: この紆余曲折は浸軟しない fact2: その一部銘柄は固執だ fact3: その一部銘柄は浸軟しない fact4: その一部銘柄が俗っぽくないならこの修証は信じ易いが素晴らしさでない fact5: あの小子は浸軟するがしかしロックでない fact6: あの手始めは俗っぽくない fact7: 「その一部銘柄は俗っぽいがしかしそれは浸軟するということはない」ということは事実である fact8: その一部銘柄は素晴らしさである ; $hypothesis$ = その一部銘柄は俗っぽい ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: この紆余曲折は浸軟しない
事実2: その一部銘柄は固執だ
事実3: その一部銘柄は浸軟しない
事実4: その一部銘柄が俗っぽくないならこの修証は信じ易いが素晴らしさでない
事実5: あの小子は浸軟するがしかしロックでない
事実6: あの手始めは俗っぽくない
事実7: 「その一部銘柄は俗っぽいがしかしそれは浸軟するということはない」ということは事実である
事実8: その一部銘柄は素晴らしさである

仮説: その一部銘柄は俗っぽい
1. 事実7から、仮説が導かれる

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