その資生はＰＥでない
fact1: 「この局所は飲み込む」ということは事実だ fact2: その資生が飲み込めばそれはＰＥでない fact3: 「その資生は飲み込む」ということは事実だ
$facts$ = fact1: 「この局所は飲み込む」ということは事実だ fact2: その資生が飲み込めばそれはＰＥでない fact3: 「その資生は飲み込む」ということは事実だ ; $hypothesis$ = その資生はＰＥでない ; $proof$ = 
事実1: 「この局所は飲み込む」ということは事実だ
事実2: その資生が飲み込めばそれはＰＥでない
事実3: 「その資生は飲み込む」ということは事実だ

仮説: その資生はＰＥでない