there exists something such that if it is Hertzian then the fact that it does not speak collimator and is not apoplectiform is false.
sent1: if the codpiece is Hertzian then the fact that it does not speak collimator and is not apoplectiform does not hold. sent2: if the codpiece is Hertzian then it does not speak collimator and it is not apoplectiform.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is Hertzian then the fact that it does not speak collimator and is not apoplectiform is false. ; $context$ = sent1: if the codpiece is Hertzian then the fact that it does not speak collimator and is not apoplectiform does not hold. sent2: if the codpiece is Hertzian then it does not speak collimator and it is not apoplectiform. ; $proof$ = 
sent1 -> hypothesis; __PROVED__