there exists something such that if it is not a kind of a Chiroptera it is not acidimetric and does not activate undressed.
sent1: if the centrifuge is not a kind of a Chiroptera then it is not acidimetric and does not activate undressed.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a Chiroptera it is not acidimetric and does not activate undressed. ; $context$ = sent1: if the centrifuge is not a kind of a Chiroptera then it is not acidimetric and does not activate undressed. ; $proof$ = 
sent1 -> hypothesis; __PROVED__