the rupestralness does not occur.
sent1: the inviting brushwork occurs. sent2: the non-rupestralness is brought about by that the velarness does not occur. sent3: the deviationism does not occur. sent4: if the inviting Finn happens either the circumvolution occurs or the range does not occur or both. sent5: the fact that not the country-dance but the Methodistsness happens is incorrect if the rigidness occurs. sent6: if the Methodists does not occur both the inviting Finn and the rigidness occurs. sent7: that the research does not occur but the translating happens prevents the non-mousyness. sent8: if the uncooperativeness does not occur then the theist occurs and the rupestralness occurs. sent9: that the ranging does not occur is prevented by that the circumvolution does not occur. sent10: that the velarness does not occur is caused by that the Methodistsness does not occur. sent11: the non-Methodistsness or the velar or both happens if the country-dance does not occur. sent12: if that the country-dance does not occur and the Methodistsness happens does not hold then that the velarness does not occur is not incorrect. sent13: the inviting Finn does not occur. sent14: that both the inviting brushwork and the non-heterologousness happens prevents that the uncooperativeness happens. sent15: that the rigidness occurs is brought about by that the inviting Finn does not occur but the circumvolution occurs. sent16: the ebbing petard is prevented by that the circumvolution does not occur but the range occurs.
void -> assump1: Let's assume that the circumvolution does not occur.; sent9 & assump1 -> int1: the range happens.;
the ebbing petard does not occur.
$hypothesis$ = the rupestralness does not occur. ; $context$ = sent1: the inviting brushwork occurs. sent2: the non-rupestralness is brought about by that the velarness does not occur. sent3: the deviationism does not occur. sent4: if the inviting Finn happens either the circumvolution occurs or the range does not occur or both. sent5: the fact that not the country-dance but the Methodistsness happens is incorrect if the rigidness occurs. sent6: if the Methodists does not occur both the inviting Finn and the rigidness occurs. sent7: that the research does not occur but the translating happens prevents the non-mousyness. sent8: if the uncooperativeness does not occur then the theist occurs and the rupestralness occurs. sent9: that the ranging does not occur is prevented by that the circumvolution does not occur. sent10: that the velarness does not occur is caused by that the Methodistsness does not occur. sent11: the non-Methodistsness or the velar or both happens if the country-dance does not occur. sent12: if that the country-dance does not occur and the Methodistsness happens does not hold then that the velarness does not occur is not incorrect. sent13: the inviting Finn does not occur. sent14: that both the inviting brushwork and the non-heterologousness happens prevents that the uncooperativeness happens. sent15: that the rigidness occurs is brought about by that the inviting Finn does not occur but the circumvolution occurs. sent16: the ebbing petard is prevented by that the circumvolution does not occur but the range occurs. ; $proof$ = 
void -> assump1: Let's assume that the circumvolution does not occur.; sent9 & assump1 -> int1: the range happens.; __UNKNOWN__