if the infantryman does open mollycoddle then the cowhide is not off-street.
sent1: that the infantryman is a precinct is correct if the maturation does Simonize episiotomy. sent2: the maturation is a precinct. sent3: the infantryman does swap. sent4: the cowhide does not open mollycoddle. sent5: the cowhide is off-street if the infantryman opens mollycoddle. sent6: if the maturation is aesculapian then it does Simonize episiotomy. sent7: the cowhide is not non-off-street if the infantryman is a kind of a precinct and it does open mollycoddle. sent8: the jack is not a precinct. sent9: the cowhide is a precinct. sent10: the maltose is aesculapian and it is a Coregonus. sent11: the maturation is aesculapian. sent12: the infantryman Simonizes episiotomy. sent13: the infantryman does open mollycoddle if it is off-street. sent14: the infantryman is not off-street if the cowhide Simonizes episiotomy and it is a kind of a precinct. sent15: the Franklin opens mollycoddle. sent16: the traitress is a precinct. sent17: that the cowhide is non-off-street is wrong. sent18: the maturation is a precinct if the infantryman is aesculapian. sent19: the cowhide is aesculapian. sent20: the cowhide Simonizes episiotomy. sent21: something is aesculapian if it Simonizes episiotomy. sent22: the cowhide is not off-street if the infantryman is a kind of a precinct that opens mollycoddle. sent23: if something is tabular then it is a precinct.
sent6 & sent11 -> int1: the maturation does Simonize episiotomy.; sent1 & int1 -> int2: the infantryman is a precinct.; void -> assump1: Let's assume that the infantryman opens mollycoddle.; int2 & assump1 -> int3: the infantryman is a kind of a precinct that does open mollycoddle.; sent22 & int3 -> int4: the cowhide is not off-street.; [assump1] & int4 -> hypothesis;
if the limeade is tabular it is a precinct.
sent23 -> hypothesis;
$hypothesis$ = if the infantryman does open mollycoddle then the cowhide is not off-street. ; $context$ = sent1: that the infantryman is a precinct is correct if the maturation does Simonize episiotomy. sent2: the maturation is a precinct. sent3: the infantryman does swap. sent4: the cowhide does not open mollycoddle. sent5: the cowhide is off-street if the infantryman opens mollycoddle. sent6: if the maturation is aesculapian then it does Simonize episiotomy. sent7: the cowhide is not non-off-street if the infantryman is a kind of a precinct and it does open mollycoddle. sent8: the jack is not a precinct. sent9: the cowhide is a precinct. sent10: the maltose is aesculapian and it is a Coregonus. sent11: the maturation is aesculapian. sent12: the infantryman Simonizes episiotomy. sent13: the infantryman does open mollycoddle if it is off-street. sent14: the infantryman is not off-street if the cowhide Simonizes episiotomy and it is a kind of a precinct. sent15: the Franklin opens mollycoddle. sent16: the traitress is a precinct. sent17: that the cowhide is non-off-street is wrong. sent18: the maturation is a precinct if the infantryman is aesculapian. sent19: the cowhide is aesculapian. sent20: the cowhide Simonizes episiotomy. sent21: something is aesculapian if it Simonizes episiotomy. sent22: the cowhide is not off-street if the infantryman is a kind of a precinct that opens mollycoddle. sent23: if something is tabular then it is a precinct. ; $proof$ = 
sent6 & sent11 -> int1: the maturation does Simonize episiotomy.; sent1 & int1 -> int2: the infantryman is a precinct.; void -> assump1: Let's assume that the infantryman opens mollycoddle.; int2 & assump1 -> int3: the infantryman is a kind of a precinct that does open mollycoddle.; sent22 & int3 -> int4: the cowhide is not off-street.; [assump1] & int4 -> hypothesis; __PROVED__