the Neosporin does wipe.
sent1: if the milldam is piezoelectric and it is a kind of a quartet the Becket is not a quartet. sent2: if the prostate is an exclusive the lexicalization is a kind of an exclusive. sent3: the milldam is not cytogenetic if the lexicalization is not a kind of a crocheting and it is not cytogenetic. sent4: that either the Becket does not sparge tracheid or it does sparge switcheroo or both does not hold. sent5: an exclusive is not a crocheting and is not cytogenetic. sent6: the Becket does sparge Becket. sent7: if something is not a kind of a quartet then it is not a kind of a chincapin and is Swiss. sent8: if something is a kind of a Swiss the fact that it does not sparge switcheroo or it is a humin or both is wrong. sent9: the prostate is municipal or sparges Ling-pao or both if there exists something such that the fact that it is a newness is right. sent10: the Neosporin wipes if that the Becket does sparge tracheid and/or sparges switcheroo does not hold. sent11: a municipal thing is an exclusive. sent12: there exists something such that it is a newness. sent13: if the fact that either the Becket does not sparge tracheid or it sparges switcheroo or both does not hold then the Neosporin does wipe. sent14: the Neosporin does sparge tracheid. sent15: something is piezoelectric and it is a quartet if it is not cytogenetic. sent16: the Becket sparges tracheid. sent17: the Becket wipes if the fact that the Neosporin does not sparge switcheroo and/or does sparge tracheid is not correct.
sent13 & sent4 -> hypothesis;
the Neosporin does not wipe.
sent7 -> int1: if the Becket is not a kind of a quartet then it is not a chincapin and it is a kind of a Swiss.; sent15 -> int2: if the milldam is not cytogenetic then it is piezoelectric and is a quartet.; sent5 -> int3: if the lexicalization is exclusive then it is both not a crocheting and not cytogenetic.; sent12 & sent9 -> int4: the prostate is municipal and/or it does sparge Ling-pao.; sent11 -> int5: the prostate is exclusive if it is municipal.;
$hypothesis$ = the Neosporin does wipe. ; $context$ = sent1: if the milldam is piezoelectric and it is a kind of a quartet the Becket is not a quartet. sent2: if the prostate is an exclusive the lexicalization is a kind of an exclusive. sent3: the milldam is not cytogenetic if the lexicalization is not a kind of a crocheting and it is not cytogenetic. sent4: that either the Becket does not sparge tracheid or it does sparge switcheroo or both does not hold. sent5: an exclusive is not a crocheting and is not cytogenetic. sent6: the Becket does sparge Becket. sent7: if something is not a kind of a quartet then it is not a kind of a chincapin and is Swiss. sent8: if something is a kind of a Swiss the fact that it does not sparge switcheroo or it is a humin or both is wrong. sent9: the prostate is municipal or sparges Ling-pao or both if there exists something such that the fact that it is a newness is right. sent10: the Neosporin wipes if that the Becket does sparge tracheid and/or sparges switcheroo does not hold. sent11: a municipal thing is an exclusive. sent12: there exists something such that it is a newness. sent13: if the fact that either the Becket does not sparge tracheid or it sparges switcheroo or both does not hold then the Neosporin does wipe. sent14: the Neosporin does sparge tracheid. sent15: something is piezoelectric and it is a quartet if it is not cytogenetic. sent16: the Becket sparges tracheid. sent17: the Becket wipes if the fact that the Neosporin does not sparge switcheroo and/or does sparge tracheid is not correct. ; $proof$ = 
sent13 & sent4 -> hypothesis; __PROVED__