the encouragement occurs.
sent1: if either the aweing does not occur or the modestness happens or both then the screening occurs. sent2: the rectorship happens. sent3: the convention happens if that the aeromechanicness does not occur and/or the Avestanness occurs is wrong. sent4: if that the aeromechanicness and/or the Avestan occurs is incorrect then the convention happens. sent5: the solemnizing apar does not occur and the solemnizing snivel happens if the teasing tumor happens. sent6: both the convention and the solemnizing apar happens if the fact that the solemnizing snivel happens does not hold. sent7: the encouragement happens if the non-aeromechanicness and/or the Avestan happens. sent8: that the hazing BMI happens triggers that not the remand but the pubertalness occurs. sent9: that that the hazing BMI and the exauguralness occurs is brought about by that the teasing Marines does not occur is not incorrect. sent10: that not the remand but the pubertalness happens yields that the teasing tumor occurs. sent11: if the fact that the convention and the solemnizing apar happens is not incorrect then the encouragement does not occur. sent12: the non-limbicness and/or the arteriolarness occurs if the encouragement does not occur. sent13: the confinement yields that the teasing Marines does not occur and the Regency occurs. sent14: that the convention occurs and the encouragement happens is not correct if the solemnizing apar does not occur. sent15: that the convention does not occur is not wrong.
void -> assump1: Let's assume that that either the non-aeromechanicness or the Avestan or both happens is not correct.; sent3 & assump1 -> int1: that the convention happens hold.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the aeromechanicness does not occur or the Avestan occurs or both.; int3 & sent7 -> hypothesis;
the encouragement does not occur.
$hypothesis$ = the encouragement occurs. ; $context$ = sent1: if either the aweing does not occur or the modestness happens or both then the screening occurs. sent2: the rectorship happens. sent3: the convention happens if that the aeromechanicness does not occur and/or the Avestanness occurs is wrong. sent4: if that the aeromechanicness and/or the Avestan occurs is incorrect then the convention happens. sent5: the solemnizing apar does not occur and the solemnizing snivel happens if the teasing tumor happens. sent6: both the convention and the solemnizing apar happens if the fact that the solemnizing snivel happens does not hold. sent7: the encouragement happens if the non-aeromechanicness and/or the Avestan happens. sent8: that the hazing BMI happens triggers that not the remand but the pubertalness occurs. sent9: that that the hazing BMI and the exauguralness occurs is brought about by that the teasing Marines does not occur is not incorrect. sent10: that not the remand but the pubertalness happens yields that the teasing tumor occurs. sent11: if the fact that the convention and the solemnizing apar happens is not incorrect then the encouragement does not occur. sent12: the non-limbicness and/or the arteriolarness occurs if the encouragement does not occur. sent13: the confinement yields that the teasing Marines does not occur and the Regency occurs. sent14: that the convention occurs and the encouragement happens is not correct if the solemnizing apar does not occur. sent15: that the convention does not occur is not wrong. ; $proof$ = 
void -> assump1: Let's assume that that either the non-aeromechanicness or the Avestan or both happens is not correct.; sent3 & assump1 -> int1: that the convention happens hold.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the aeromechanicness does not occur or the Avestan occurs or both.; int3 & sent7 -> hypothesis; __PROVED__