あの出陣は輝かし
fact1: 詮無くないものはせこいかまたは定期総会でない fact2: あの出陣は堪り易くて更に輝かし fact3: もしもとある物がせこいならば輝かしし加えて堪り易いということはない fact4: もし仮にこのモノクローナル抗体が輝かしけど堪り易くないならばあの出陣は輝かしない
fact2 -> hypothesis;
fact2 -> hypothesis;
あの出陣は輝かしない
fact6 -> int1: もしもこのモノクローナル抗体がせこいならばそれは輝かしし加えてそれは堪り易くない; fact7 -> int2: あの九州出身が詮無くないとすればそれはせこいかもしくは定期総会だということはない;
$facts$ = fact1: 詮無くないものはせこいかまたは定期総会でない fact2: あの出陣は堪り易くて更に輝かし fact3: もしもとある物がせこいならば輝かしし加えて堪り易いということはない fact4: もし仮にこのモノクローナル抗体が輝かしけど堪り易くないならばあの出陣は輝かしない ; $hypothesis$ = あの出陣は輝かし ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 詮無くないものはせこいかまたは定期総会でない
事実2: あの出陣は堪り易くて更に輝かし
事実3: もしもとある物がせこいならば輝かしし加えて堪り易いということはない
事実4: もし仮にこのモノクローナル抗体が輝かしけど堪り易くないならばあの出陣は輝かしない

仮説: あの出陣は輝かし
1. 事実2から、仮説が導かれる

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