the fact that the convector is not uninucleate and it is not a kind of a mudslide is false.
sent1: if the obstetrician is Sadducean it is uninucleate. sent2: that the convector is not uninucleate and is not a mudslide does not hold if the obstetrician is uninucleate. sent3: if something is a kind of a TURP then it is uninucleate. sent4: the obstetrician is Sadducean.
sent1 & sent4 -> int1: the obstetrician is uninucleate.; sent2 & int1 -> hypothesis;
if the convector is a TURP it is uninucleate.
sent3 -> hypothesis;
$hypothesis$ = the fact that the convector is not uninucleate and it is not a kind of a mudslide is false. ; $context$ = sent1: if the obstetrician is Sadducean it is uninucleate. sent2: that the convector is not uninucleate and is not a mudslide does not hold if the obstetrician is uninucleate. sent3: if something is a kind of a TURP then it is uninucleate. sent4: the obstetrician is Sadducean. ; $proof$ = 
sent1 & sent4 -> int1: the obstetrician is uninucleate.; sent2 & int1 -> hypothesis; __PROVED__