there is something such that if it is clerical the fact that it does not confederate Marti and it does not wane is incorrect.
sent1: the triglyceride is not clerical if it does not confederate Marti and it wanes. sent2: the triglyceride is clerical if it does not confederate Marti and it does not wane. sent3: if something does not confederate Marti and it does not wane it is clerical. sent4: there exists something such that if it is clerical it does not confederate Marti and it does not wane. sent5: there is something such that if the fact that it is clerical hold the fact that it does not confederate Marti and does wane does not hold. sent6: that the triglyceride does not confederate Marti but it wanes is not true if it is clerical. sent7: something is not clerical if it does not confederate Marti and it wanes. sent8: if something confederates Marti but it does not wane it is not clerical. sent9: the fact that that the triglyceride does not confederate Marti but it wanes is incorrect is true. sent10: there is something such that if it is clerical then the fact that it confederates Marti and does not wane does not hold. sent11: the triglyceride is not clerical if it confederates Marti and it does not wane. sent12: that the triglyceride confederates Marti and does not wane is incorrect if it is clerical.
void -> assump1: Let's assume that the triglyceride does not confederate Marti and it does not wane.;
$hypothesis$ = there is something such that if it is clerical the fact that it does not confederate Marti and it does not wane is incorrect. ; $context$ = sent1: the triglyceride is not clerical if it does not confederate Marti and it wanes. sent2: the triglyceride is clerical if it does not confederate Marti and it does not wane. sent3: if something does not confederate Marti and it does not wane it is clerical. sent4: there exists something such that if it is clerical it does not confederate Marti and it does not wane. sent5: there is something such that if the fact that it is clerical hold the fact that it does not confederate Marti and does wane does not hold. sent6: that the triglyceride does not confederate Marti but it wanes is not true if it is clerical. sent7: something is not clerical if it does not confederate Marti and it wanes. sent8: if something confederates Marti but it does not wane it is not clerical. sent9: the fact that that the triglyceride does not confederate Marti but it wanes is incorrect is true. sent10: there is something such that if it is clerical then the fact that it confederates Marti and does not wane does not hold. sent11: the triglyceride is not clerical if it confederates Marti and it does not wane. sent12: that the triglyceride confederates Marti and does not wane is incorrect if it is clerical. ; $proof$ = 
void -> assump1: Let's assume that the triglyceride does not confederate Marti and it does not wane.; __UNKNOWN__