the biosyntheticness happens.
sent1: the resistiveness does not occur if the polls does not occur. sent2: that the offsetting reissue but not the Gore happens results in the non-biosyntheticness. sent3: if the unadaptableness occurs the third occurs but the polls does not occur. sent4: that both the offsetting reissue and the non-biosyntheticness happens does not hold if the Gore does not occur. sent5: that the Gore does not occur and the deticking colors does not occur is caused by that the deticking adelgid happens. sent6: if that both the offsetting reissue and the non-biosyntheticness happens is false then the syncarpousness does not occur. sent7: if the fact that the resistiveness does not occur is not false then both the deticking adelgid and the deticking Pteropus happens. sent8: that the slavery does not occur hold. sent9: the deticking demurrer occurs. sent10: the fact that the summarizing asymmetry does not occur and the Delphicness happens is not right if the offsetting cellar does not occur. sent11: the offsetting reissue but not the Gore happens if the deticking colors does not occur. sent12: the fact that the deticking eponym does not occur and the theocraticness happens does not hold. sent13: that the deticking terrace does not occur and the nudge occurs does not hold if the offsetting cellar does not occur. sent14: that not the slavery but the deticking demurrer happens is incorrect if the biosyntheticness does not occur.
void -> assump1: Let's assume that the biosyntheticness does not occur.; sent14 & assump1 -> int1: the fact that the slavery does not occur and the deticking demurrer occurs is false.; sent8 & sent9 -> int2: not the slavery but the deticking demurrer happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the biosyntheticness does not occur.
$hypothesis$ = the biosyntheticness happens. ; $context$ = sent1: the resistiveness does not occur if the polls does not occur. sent2: that the offsetting reissue but not the Gore happens results in the non-biosyntheticness. sent3: if the unadaptableness occurs the third occurs but the polls does not occur. sent4: that both the offsetting reissue and the non-biosyntheticness happens does not hold if the Gore does not occur. sent5: that the Gore does not occur and the deticking colors does not occur is caused by that the deticking adelgid happens. sent6: if that both the offsetting reissue and the non-biosyntheticness happens is false then the syncarpousness does not occur. sent7: if the fact that the resistiveness does not occur is not false then both the deticking adelgid and the deticking Pteropus happens. sent8: that the slavery does not occur hold. sent9: the deticking demurrer occurs. sent10: the fact that the summarizing asymmetry does not occur and the Delphicness happens is not right if the offsetting cellar does not occur. sent11: the offsetting reissue but not the Gore happens if the deticking colors does not occur. sent12: the fact that the deticking eponym does not occur and the theocraticness happens does not hold. sent13: that the deticking terrace does not occur and the nudge occurs does not hold if the offsetting cellar does not occur. sent14: that not the slavery but the deticking demurrer happens is incorrect if the biosyntheticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the biosyntheticness does not occur.; sent14 & assump1 -> int1: the fact that the slavery does not occur and the deticking demurrer occurs is false.; sent8 & sent9 -> int2: not the slavery but the deticking demurrer happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__