there exists something such that if that it is a kind of non-meiotic thing that reprises settlor is not true then it moos.
sent1: the settlor moos if it is not meiotic and reprises settlor. sent2: if the fact that the settlor is not meiotic and reprises settlor does not hold the fact that it moos is not wrong.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if that it is a kind of non-meiotic thing that reprises settlor is not true then it moos. ; $context$ = sent1: the settlor moos if it is not meiotic and reprises settlor. sent2: if the fact that the settlor is not meiotic and reprises settlor does not hold the fact that it moos is not wrong. ; $proof$ = 
sent2 -> hypothesis; __PROVED__