if the butanone does clean Urodella then the goatsbeard is convergent.
sent1: if the butanone does clean Urodella the cowhide does not impart. sent2: if that the Cypriot is not filarial and it does not impart is not right the goatsbeard is convergent. sent3: the fact that the fact that the Cypriot is not filarial but it does impart hold does not hold. sent4: the fact that the cowhide does not impart and is convergent is false. sent5: the goatsbeard is convergent if the Cypriot imparts. sent6: that the Cypriot is non-filarial thing that imparts is incorrect if the cowhide does not imparts. sent7: if the butanone imparts then the Cypriot does clean Urodella. sent8: the cowhide exempts barrenness but it is not convergent if the Cypriot is a Camus. sent9: if something is not filarial then either it imparts or it cleans Urodella or both. sent10: that the Cypriot is not filarial and does not impart is not right if the cowhide does not impart. sent11: that the cowhide is non-filarial thing that does impart is false if the Cypriot does not impart.
void -> assump1: Let's assume that the butanone does clean Urodella.; sent1 & assump1 -> int1: the cowhide does not impart.; sent10 & int1 -> int2: the fact that the fact that the Cypriot is non-filarial thing that does not impart hold is false.; sent2 & int2 -> int3: the goatsbeard is convergent.; [assump1] & int3 -> hypothesis;
the goatsbeard does clean Urodella.
sent9 -> int4: the butanone imparts and/or it cleans Urodella if it is not filarial.;
$hypothesis$ = if the butanone does clean Urodella then the goatsbeard is convergent. ; $context$ = sent1: if the butanone does clean Urodella the cowhide does not impart. sent2: if that the Cypriot is not filarial and it does not impart is not right the goatsbeard is convergent. sent3: the fact that the fact that the Cypriot is not filarial but it does impart hold does not hold. sent4: the fact that the cowhide does not impart and is convergent is false. sent5: the goatsbeard is convergent if the Cypriot imparts. sent6: that the Cypriot is non-filarial thing that imparts is incorrect if the cowhide does not imparts. sent7: if the butanone imparts then the Cypriot does clean Urodella. sent8: the cowhide exempts barrenness but it is not convergent if the Cypriot is a Camus. sent9: if something is not filarial then either it imparts or it cleans Urodella or both. sent10: that the Cypriot is not filarial and does not impart is not right if the cowhide does not impart. sent11: that the cowhide is non-filarial thing that does impart is false if the Cypriot does not impart. ; $proof$ = 
void -> assump1: Let's assume that the butanone does clean Urodella.; sent1 & assump1 -> int1: the cowhide does not impart.; sent10 & int1 -> int2: the fact that the fact that the Cypriot is non-filarial thing that does not impart hold is false.; sent2 & int2 -> int3: the goatsbeard is convergent.; [assump1] & int3 -> hypothesis; __PROVED__