このエンコード処理は銘打つ
fact1: このエンコード処理は白河殿であるしそれに期待し難い fact2: このエンコード処理が白河殿であるしその上それが期待し難いならそれは銘打たない
$facts$ = fact1: このエンコード処理は白河殿であるしそれに期待し難い fact2: このエンコード処理が白河殿であるしその上それが期待し難いならそれは銘打たない ; $hypothesis$ = このエンコード処理は銘打つ ; $proof$ = 
事実1: このエンコード処理は白河殿であるしそれに期待し難い
事実2: このエンコード処理が白河殿であるしその上それが期待し難いならそれは銘打たない

仮説: このエンコード処理は銘打つ