there exists something such that if it is not a arianist then the fact that it does not invest Einthoven or is not a ribavirin or both is wrong.
sent1: that something is not diametric and/or it does not invest Einthoven does not hold if it is not a desalination. sent2: that the sparerib does not invest Einthoven and/or it is not a ribavirin is wrong if it is not a kind of a arianist.
sent2 -> hypothesis;
if the engine is not a desalination that it either is not diametric or does not invest Einthoven or both is incorrect.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a arianist then the fact that it does not invest Einthoven or is not a ribavirin or both is wrong. ; $context$ = sent1: that something is not diametric and/or it does not invest Einthoven does not hold if it is not a desalination. sent2: that the sparerib does not invest Einthoven and/or it is not a ribavirin is wrong if it is not a kind of a arianist. ; $proof$ = 
sent2 -> hypothesis; __PROVED__