if the fact that the tautog is catechismal but it does not interpolate does not hold then the bigamist is not a kind of a disinterest.
sent1: the fact that the tautog is catechismal and does interpolate is false. sent2: something does not refer scatology if that it does refer scatology and is ovarian is not true. sent3: the bigamist is a disinterest. sent4: something is catechismal and does not interpolate. sent5: the munition is ovarian or does not refer scatology or both. sent6: if the fact that the tautog is catechismal but it does not interpolate is false then the bigamist is a disinterest. sent7: if something does interpolate the munition does not refer scatology. sent8: if there is something such that that it does not interpolate hold then the fact that the swallowtail is not non-ovarian and does interpolate is not correct. sent9: that the fact that something does interpolate and does not refer scatology hold is not true if it is not a disinterest. sent10: if the fact that something is ovarian and interpolates is incorrect then it does not interpolates. sent11: there is something such that the fact that it is catechismal and does interpolate is not true. sent12: if there exists something such that the fact that it is catechismal and does not interpolate is not correct the munition does not refer scatology. sent13: the Croesus does not refer scatology. sent14: if there is something such that the fact that it interpolates and does not refer scatology is wrong the munition does not interpolates. sent15: the bigamist is a disinterest if the munition is not ovarian or it does not refer scatology or both. sent16: the bigamist is not a disinterest if the munition is non-ovarian. sent17: the bigamist is not a kind of a disinterest if the fact that the tautog interpolates is true.
void -> assump1: Let's assume that the fact that the tautog is catechismal but it does not interpolate does not hold.; assump1 -> int1: there exists something such that the fact that it is a kind of catechismal thing that does not interpolate is not right.; int1 & sent12 -> int2: the munition does not refer scatology.; int2 -> int3: the munition is not ovarian or it does not refer scatology or both.;
the swallowtail does not interpolate.
sent9 -> int4: if the nasturtium is not a disinterest that it does interpolate and does not refer scatology is false.; sent10 -> int5: if that the swallowtail is ovarian and it interpolates is wrong it does not interpolates.;
$hypothesis$ = if the fact that the tautog is catechismal but it does not interpolate does not hold then the bigamist is not a kind of a disinterest. ; $context$ = sent1: the fact that the tautog is catechismal and does interpolate is false. sent2: something does not refer scatology if that it does refer scatology and is ovarian is not true. sent3: the bigamist is a disinterest. sent4: something is catechismal and does not interpolate. sent5: the munition is ovarian or does not refer scatology or both. sent6: if the fact that the tautog is catechismal but it does not interpolate is false then the bigamist is a disinterest. sent7: if something does interpolate the munition does not refer scatology. sent8: if there is something such that that it does not interpolate hold then the fact that the swallowtail is not non-ovarian and does interpolate is not correct. sent9: that the fact that something does interpolate and does not refer scatology hold is not true if it is not a disinterest. sent10: if the fact that something is ovarian and interpolates is incorrect then it does not interpolates. sent11: there is something such that the fact that it is catechismal and does interpolate is not true. sent12: if there exists something such that the fact that it is catechismal and does not interpolate is not correct the munition does not refer scatology. sent13: the Croesus does not refer scatology. sent14: if there is something such that the fact that it interpolates and does not refer scatology is wrong the munition does not interpolates. sent15: the bigamist is a disinterest if the munition is not ovarian or it does not refer scatology or both. sent16: the bigamist is not a disinterest if the munition is non-ovarian. sent17: the bigamist is not a kind of a disinterest if the fact that the tautog interpolates is true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tautog is catechismal but it does not interpolate does not hold.; assump1 -> int1: there exists something such that the fact that it is a kind of catechismal thing that does not interpolate is not right.; int1 & sent12 -> int2: the munition does not refer scatology.; int2 -> int3: the munition is not ovarian or it does not refer scatology or both.; __UNKNOWN__