Premise: digital signature and public-key infrastructure
Hypothesis: The signature is digital. 
Label: entailment