the reconnaissance does not occur.
sent1: if either the non-chromosomalness or the postpositiveness or both occurs the non-chromosomal does not occur. sent2: the fleece does not occur. sent3: if that the pairing undoer occurs but the dig does not occur is false then the dig happens. sent4: the feminineness and the paring lepidopterology happens. sent5: that the Doomsday does not occur and the swimming Ornithorhynchus does not occur prevents that the reconnaissance does not occur. sent6: the swimming injection occurs. sent7: the swimming injection happens if the charity does not occur. sent8: that the Doomsday does not occur and the swimming Ornithorhynchus does not occur is caused by that the swimming injection does not occur. sent9: if that either the Doomsday happens or the swimming Ornithorhynchus does not occur or both is incorrect then the reconnaissance occurs. sent10: the plumbing does not occur. sent11: the swimming Ornithorhynchus prevents the Doomsday. sent12: if the slicing occurs the repudiating happens. sent13: that the monte happens prevents that the swimming hypocrisy occurs. sent14: if the chromosomalness does not occur then that the pairing undoer but not the digging happens does not hold. sent15: the testamentariness occurs if the dig occurs. sent16: if the reconnaissance occurs then the fact that the swimming Ornithorhynchus happens hold. sent17: the anticoagulativeness does not occur. sent18: the charity does not occur. sent19: the testamentariness triggers that both the thyroidectomy and the non-archdiocesanness occurs. sent20: if the archdiocesanness does not occur the charity happens and the swimming injection occurs.
void -> assump1: Let's assume that the reconnaissance happens.; sent16 & assump1 -> int1: the swimming Ornithorhynchus happens.; int1 & sent11 -> int2: the Doomsday does not occur.;
the reconnaissance happens.
$hypothesis$ = the reconnaissance does not occur. ; $context$ = sent1: if either the non-chromosomalness or the postpositiveness or both occurs the non-chromosomal does not occur. sent2: the fleece does not occur. sent3: if that the pairing undoer occurs but the dig does not occur is false then the dig happens. sent4: the feminineness and the paring lepidopterology happens. sent5: that the Doomsday does not occur and the swimming Ornithorhynchus does not occur prevents that the reconnaissance does not occur. sent6: the swimming injection occurs. sent7: the swimming injection happens if the charity does not occur. sent8: that the Doomsday does not occur and the swimming Ornithorhynchus does not occur is caused by that the swimming injection does not occur. sent9: if that either the Doomsday happens or the swimming Ornithorhynchus does not occur or both is incorrect then the reconnaissance occurs. sent10: the plumbing does not occur. sent11: the swimming Ornithorhynchus prevents the Doomsday. sent12: if the slicing occurs the repudiating happens. sent13: that the monte happens prevents that the swimming hypocrisy occurs. sent14: if the chromosomalness does not occur then that the pairing undoer but not the digging happens does not hold. sent15: the testamentariness occurs if the dig occurs. sent16: if the reconnaissance occurs then the fact that the swimming Ornithorhynchus happens hold. sent17: the anticoagulativeness does not occur. sent18: the charity does not occur. sent19: the testamentariness triggers that both the thyroidectomy and the non-archdiocesanness occurs. sent20: if the archdiocesanness does not occur the charity happens and the swimming injection occurs. ; $proof$ = 
void -> assump1: Let's assume that the reconnaissance happens.; sent16 & assump1 -> int1: the swimming Ornithorhynchus happens.; int1 & sent11 -> int2: the Doomsday does not occur.; __UNKNOWN__