その合鍵は引き下がらない
fact1: その合鍵は連絡出来る fact2: 仮にその合鍵が連絡出来るとすればそれは引き下がる fact3: その名称は連絡出来る
$facts$ = fact1: その合鍵は連絡出来る fact2: 仮にその合鍵が連絡出来るとすればそれは引き下がる fact3: その名称は連絡出来る ; $hypothesis$ = その合鍵は引き下がらない ; $proof$ = 
事実1: その合鍵は連絡出来る
事実2: 仮にその合鍵が連絡出来るとすればそれは引き下がる
事実3: その名称は連絡出来る

仮説: その合鍵は引き下がらない