the boat occurs and the auditing occurs.
sent1: the drilling does not occur. sent2: the drilling occurs if the arboriculture does not occur. sent3: if that either the undertide does not occur or the elaborating bunk occurs or both is not right the arboriculture does not occur. sent4: the smell happens. sent5: the auditing occurs. sent6: if the enclosing Maya does not occur and the geophyticness occurs then the fact that the boat occurs is true. sent7: the fact that either the non-ethnocentricness or the chastity or both occurs is not correct. sent8: both the leasing Ochna and the multiplication happens. sent9: the fact that the leasing interplay does not occur hold if that either the non-gluttonousness or the dyeing or both occurs is not correct. sent10: that the elaborating bunk does not occur hold. sent11: the elaborating joint occurs and the metatarsal occurs. sent12: the rout does not occur. sent13: the visiting happens. sent14: both the pouching and the ultramontaneness occurs. sent15: that the taming occurs is not incorrect. sent16: the fact that the axing standee occurs is not false. sent17: that the geophyticness occurs is triggered by that the undertide does not occur or the elaborating bunk or both. sent18: the fact that if that the leasing catananche does not occur and/or the axing resuspension happens is wrong the tetralogy does not occur is not incorrect. sent19: the enclosing Maya does not occur.
void -> assump1: Let's assume that that either the undertide does not occur or the elaborating bunk happens or both is false.; sent3 & assump1 -> int1: the arboriculture does not occur.; int1 & sent2 -> int2: the drilling happens.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the undertide does not occur and/or the elaborating bunk happens.; int4 & sent17 -> int5: the geophyticness occurs.; int5 & sent19 -> int6: the enclosing Maya does not occur but the geophyticness occurs.; int6 & sent6 -> int7: the boat happens.; int7 & sent5 -> hypothesis;
$hypothesis$ = the boat occurs and the auditing occurs. ; $context$ = sent1: the drilling does not occur. sent2: the drilling occurs if the arboriculture does not occur. sent3: if that either the undertide does not occur or the elaborating bunk occurs or both is not right the arboriculture does not occur. sent4: the smell happens. sent5: the auditing occurs. sent6: if the enclosing Maya does not occur and the geophyticness occurs then the fact that the boat occurs is true. sent7: the fact that either the non-ethnocentricness or the chastity or both occurs is not correct. sent8: both the leasing Ochna and the multiplication happens. sent9: the fact that the leasing interplay does not occur hold if that either the non-gluttonousness or the dyeing or both occurs is not correct. sent10: that the elaborating bunk does not occur hold. sent11: the elaborating joint occurs and the metatarsal occurs. sent12: the rout does not occur. sent13: the visiting happens. sent14: both the pouching and the ultramontaneness occurs. sent15: that the taming occurs is not incorrect. sent16: the fact that the axing standee occurs is not false. sent17: that the geophyticness occurs is triggered by that the undertide does not occur or the elaborating bunk or both. sent18: the fact that if that the leasing catananche does not occur and/or the axing resuspension happens is wrong the tetralogy does not occur is not incorrect. sent19: the enclosing Maya does not occur. ; $proof$ = 
void -> assump1: Let's assume that that either the undertide does not occur or the elaborating bunk happens or both is false.; sent3 & assump1 -> int1: the arboriculture does not occur.; int1 & sent2 -> int2: the drilling happens.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the undertide does not occur and/or the elaborating bunk happens.; int4 & sent17 -> int5: the geophyticness occurs.; int5 & sent19 -> int6: the enclosing Maya does not occur but the geophyticness occurs.; int6 & sent6 -> int7: the boat happens.; int7 & sent5 -> hypothesis; __PROVED__