あの飽和結合は寝顔でない
fact1: あの飽和結合は熱苦しくない fact2: あの飽和結合は寝顔でない fact3: この仲秋は寝顔でない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: あの飽和結合は熱苦しくない fact2: あの飽和結合は寝顔でない fact3: この仲秋は寝顔でない ; $hypothesis$ = あの飽和結合は寝顔でない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: あの飽和結合は熱苦しくない
事実2: あの飽和結合は寝顔でない
事実3: この仲秋は寝顔でない

仮説: あの飽和結合は寝顔でない
1. 事実2から、仮説が導かれる

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