that the case does not occur or that the backflow does not occur or both is brought about by that the damaging bullfighter occurs.
sent1: the stretch does not occur if the fact that not the extension but the stretch happens is wrong. sent2: the fact that the case and the capitalizing cuticle occurs is incorrect if the fete does not occur. sent3: if the fact that the case and the capitalizing cuticle occurs is wrong then that the capitalizing cuticle occurs is not true. sent4: the fete happens. sent5: the confrontationalness does not occur. sent6: the damaging bullfighter occurs if both the fete and the casing happens. sent7: either the casing occurs or the backflow does not occur or both. sent8: the guffaw does not occur if the stretching does not occur. sent9: if the guffaw does not occur not the backflow but the regression occurs.
void -> assump1: Let's assume that the case occurs.; sent4 & assump1 -> int1: that both the fete and the casing happens is true.;
the capitalizing cuticle does not occur.
$hypothesis$ = that the case does not occur or that the backflow does not occur or both is brought about by that the damaging bullfighter occurs. ; $context$ = sent1: the stretch does not occur if the fact that not the extension but the stretch happens is wrong. sent2: the fact that the case and the capitalizing cuticle occurs is incorrect if the fete does not occur. sent3: if the fact that the case and the capitalizing cuticle occurs is wrong then that the capitalizing cuticle occurs is not true. sent4: the fete happens. sent5: the confrontationalness does not occur. sent6: the damaging bullfighter occurs if both the fete and the casing happens. sent7: either the casing occurs or the backflow does not occur or both. sent8: the guffaw does not occur if the stretching does not occur. sent9: if the guffaw does not occur not the backflow but the regression occurs. ; $proof$ = 
void -> assump1: Let's assume that the case occurs.; sent4 & assump1 -> int1: that both the fete and the casing happens is true.; __UNKNOWN__