there exists something such that if it does not upload candlepins the fact that it is not a swash but a terminus does not hold.
sent1: that that the candlepins is not a swash but a terminus is true is not true if it does not upload candlepins. sent2: if the candlepins uploads candlepins then the fact that it is not a swash and is a terminus is wrong.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not upload candlepins the fact that it is not a swash but a terminus does not hold. ; $context$ = sent1: that that the candlepins is not a swash but a terminus is true is not true if it does not upload candlepins. sent2: if the candlepins uploads candlepins then the fact that it is not a swash and is a terminus is wrong. ; $proof$ = 
sent1 -> hypothesis; __PROVED__