この民事再生手続きは変色する
fact1: 「この民事再生手続きは変色する」ということは確かである
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「この民事再生手続きは変色する」ということは確かである ; $hypothesis$ = この民事再生手続きは変色する ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「この民事再生手続きは変色する」ということは確かである

仮説: この民事再生手続きは変色する
1. 事実1から、仮説が導かれる

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