「その弁済者は明記する」ということは本当である
fact1: このエイヴリ・キンテルは補導する fact2: もしその弁済者は補導すれば「それは明記する」ということは本当だ fact3: その弁済者は補導する
$facts$ = fact1: このエイヴリ・キンテルは補導する fact2: もしその弁済者は補導すれば「それは明記する」ということは本当だ fact3: その弁済者は補導する ; $hypothesis$ = 「その弁済者は明記する」ということは本当である ; $proof$ = 
事実1: このエイヴリ・キンテルは補導する
事実2: もしその弁済者は補導すれば「それは明記する」ということは本当だ
事実3: その弁済者は補導する

仮説: 「その弁済者は明記する」ということは本当である