the concaveness does not occur.
sent1: that the baiting does not occur but the premeditating coach happens is false if the patrioticness happens. sent2: the thermotherapy occurs and the adornment happens if the banding toy does not occur. sent3: if the nonresident does not occur the beef does not occur and the rechauffe does not occur. sent4: if the fact that that the meteor does not occur or the premeditating Diervilla happens or both is true is not correct then the nonresidentness does not occur. sent5: both the bundling and the pickup happens if the premeditating coach does not occur. sent6: the inaccessibleness does not occur. sent7: the patrioticness occurs if the anacliticness does not occur and the fusillading does not occur. sent8: if the thermotherapy occurs the anacliticness does not occur and the fusillade does not occur. sent9: the premeditating coach does not occur if the fact that not the bait but the premeditating coach occurs is wrong. sent10: if the traversing does not occur then the fact that that the banding toy occurs and the premeditating cultivar happens is not false is wrong. sent11: if that the banding toy and the premeditating cultivar happens is not correct then the banding toy does not occur. sent12: that the meteor does not occur and/or the premeditating Diervilla happens does not hold if the bundling happens. sent13: the soubrette does not occur. sent14: if the concaveness occurs then the soubrette occurs. sent15: that the concaveness happens and the soubrette occurs is triggered by that the rechauffe does not occur.
void -> assump1: Let's assume that the concaveness happens.; sent14 & assump1 -> int1: that the soubrette happens hold.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the concaveness occurs.
$hypothesis$ = the concaveness does not occur. ; $context$ = sent1: that the baiting does not occur but the premeditating coach happens is false if the patrioticness happens. sent2: the thermotherapy occurs and the adornment happens if the banding toy does not occur. sent3: if the nonresident does not occur the beef does not occur and the rechauffe does not occur. sent4: if the fact that that the meteor does not occur or the premeditating Diervilla happens or both is true is not correct then the nonresidentness does not occur. sent5: both the bundling and the pickup happens if the premeditating coach does not occur. sent6: the inaccessibleness does not occur. sent7: the patrioticness occurs if the anacliticness does not occur and the fusillading does not occur. sent8: if the thermotherapy occurs the anacliticness does not occur and the fusillade does not occur. sent9: the premeditating coach does not occur if the fact that not the bait but the premeditating coach occurs is wrong. sent10: if the traversing does not occur then the fact that that the banding toy occurs and the premeditating cultivar happens is not false is wrong. sent11: if that the banding toy and the premeditating cultivar happens is not correct then the banding toy does not occur. sent12: that the meteor does not occur and/or the premeditating Diervilla happens does not hold if the bundling happens. sent13: the soubrette does not occur. sent14: if the concaveness occurs then the soubrette occurs. sent15: that the concaveness happens and the soubrette occurs is triggered by that the rechauffe does not occur. ; $proof$ = 
void -> assump1: Let's assume that the concaveness happens.; sent14 & assump1 -> int1: that the soubrette happens hold.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__