この頬粘膜は初当選である
fact1: 「その一ＤＳは初当選だ」ということは事実だ fact2: この頬粘膜は初当選だ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「その一ＤＳは初当選だ」ということは事実だ fact2: この頬粘膜は初当選だ ; $hypothesis$ = この頬粘膜は初当選である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「その一ＤＳは初当選だ」ということは事実だ
事実2: この頬粘膜は初当選だ

仮説: この頬粘膜は初当選である
1. 事実2から、仮説が導かれる

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