that the indexing and the watering occurs is not right.
sent1: if that the filling vesiculovirus does not occur is right the coating occurs or the retake occurs or both. sent2: if the filling vesiculovirus happens the coating does not occur and the caveat does not occur. sent3: that the watering does not occur is prevented by that the proposing bitters but not the knocking occurs. sent4: the proposing bitters and the pinning occurs. sent5: the filling vesiculovirus does not occur if the accrediting Clinidae happens. sent6: the indexing happens if the retake happens. sent7: the caveat does not occur. sent8: if the proposing bitters does not occur then that both the indexing and the waters happens is not correct. sent9: that the indexing happens is triggered by that the coating occurs. sent10: the knock does not occur if the fact that the caveat does not occur is correct. sent11: the pin occurs. sent12: that the custom-madeness but not the accrediting Clinidae occurs does not hold. sent13: that the custom-madeness and the accrediting Clinidae occurs is not true. sent14: if that the custom-madeness but not the accrediting Clinidae happens is incorrect that the filling vesiculovirus does not occur hold.
sent4 -> int1: the proposing bitters happens.; sent10 & sent7 -> int2: the knocking does not occur.; int1 & int2 -> int3: the proposing bitters happens and the knocking does not occur.; int3 & sent3 -> int4: the watering happens.; sent14 & sent12 -> int5: the filling vesiculovirus does not occur.; sent1 & int5 -> int6: either the coating or the retaking or both happens.; int6 & sent9 & sent6 -> int7: the indexing occurs.; int4 & int7 -> hypothesis;
the fact that the indexing happens and the waters occurs is not true.
$hypothesis$ = that the indexing and the watering occurs is not right. ; $context$ = sent1: if that the filling vesiculovirus does not occur is right the coating occurs or the retake occurs or both. sent2: if the filling vesiculovirus happens the coating does not occur and the caveat does not occur. sent3: that the watering does not occur is prevented by that the proposing bitters but not the knocking occurs. sent4: the proposing bitters and the pinning occurs. sent5: the filling vesiculovirus does not occur if the accrediting Clinidae happens. sent6: the indexing happens if the retake happens. sent7: the caveat does not occur. sent8: if the proposing bitters does not occur then that both the indexing and the waters happens is not correct. sent9: that the indexing happens is triggered by that the coating occurs. sent10: the knock does not occur if the fact that the caveat does not occur is correct. sent11: the pin occurs. sent12: that the custom-madeness but not the accrediting Clinidae occurs does not hold. sent13: that the custom-madeness and the accrediting Clinidae occurs is not true. sent14: if that the custom-madeness but not the accrediting Clinidae happens is incorrect that the filling vesiculovirus does not occur hold. ; $proof$ = 
sent4 -> int1: the proposing bitters happens.; sent10 & sent7 -> int2: the knocking does not occur.; int1 & int2 -> int3: the proposing bitters happens and the knocking does not occur.; int3 & sent3 -> int4: the watering happens.; sent14 & sent12 -> int5: the filling vesiculovirus does not occur.; sent1 & int5 -> int6: either the coating or the retaking or both happens.; int6 & sent9 & sent6 -> int7: the indexing occurs.; int4 & int7 -> hypothesis; __DISPROVED__