if that the bonanza happens is not false then the fact that the officializing macho does not occur and/or the handlelessness does not occur is not true.
sent1: that the officializing Faunus does not occur yields that either the yoga does not occur or the officializing Araujia does not occur or both. sent2: the coercion occurs. sent3: either the aspiring does not occur or the Gandhianness does not occur or both if that the frolicking Gongorism happens is not wrong. sent4: the autoplasty does not occur and/or the officializing Faunus does not occur if the graduation does not occur. sent5: the mesomorphicness occurs. sent6: the fact that either the officializing macho does not occur or the handlelessness does not occur or both is not true if the frolicking papaw does not occur. sent7: if the painting does not occur that that the gustatoriness does not occur and/or the naturisticness does not occur is correct does not hold. sent8: the Luxembourgianness happens. sent9: the fact that the fact that the launch does not occur and/or the maltreatment occurs is not correct is not wrong. sent10: the fungalness happens. sent11: the frolicking papaw does not occur if both the bonanza and the fungalness happens. sent12: the fact that either the enolicness does not occur or the officializing shaver does not occur or both is wrong. sent13: that the frolicking turnoff happens hold. sent14: that either the syllabication does not occur or the geocentricness does not occur or both is false. sent15: the fact that either the officializing macho does not occur or the handlelessness happens or both is not right. sent16: the frolicking comer does not occur or the Luxembourgianness does not occur or both. sent17: the strangling happens if the mismanagement occurs. sent18: the officializing macho does not occur or the handlelessness does not occur or both.
void -> assump1: Let's assume that the bonanza occurs.; assump1 & sent10 -> int1: both the bonanza and the fungalness happens.; int1 & sent11 -> int2: the frolicking papaw does not occur.; int2 & sent6 -> int3: the fact that the officializing macho does not occur and/or the handlelessness does not occur does not hold.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if that the bonanza happens is not false then the fact that the officializing macho does not occur and/or the handlelessness does not occur is not true. ; $context$ = sent1: that the officializing Faunus does not occur yields that either the yoga does not occur or the officializing Araujia does not occur or both. sent2: the coercion occurs. sent3: either the aspiring does not occur or the Gandhianness does not occur or both if that the frolicking Gongorism happens is not wrong. sent4: the autoplasty does not occur and/or the officializing Faunus does not occur if the graduation does not occur. sent5: the mesomorphicness occurs. sent6: the fact that either the officializing macho does not occur or the handlelessness does not occur or both is not true if the frolicking papaw does not occur. sent7: if the painting does not occur that that the gustatoriness does not occur and/or the naturisticness does not occur is correct does not hold. sent8: the Luxembourgianness happens. sent9: the fact that the fact that the launch does not occur and/or the maltreatment occurs is not correct is not wrong. sent10: the fungalness happens. sent11: the frolicking papaw does not occur if both the bonanza and the fungalness happens. sent12: the fact that either the enolicness does not occur or the officializing shaver does not occur or both is wrong. sent13: that the frolicking turnoff happens hold. sent14: that either the syllabication does not occur or the geocentricness does not occur or both is false. sent15: the fact that either the officializing macho does not occur or the handlelessness happens or both is not right. sent16: the frolicking comer does not occur or the Luxembourgianness does not occur or both. sent17: the strangling happens if the mismanagement occurs. sent18: the officializing macho does not occur or the handlelessness does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the bonanza occurs.; assump1 & sent10 -> int1: both the bonanza and the fungalness happens.; int1 & sent11 -> int2: the frolicking papaw does not occur.; int2 & sent6 -> int3: the fact that the officializing macho does not occur and/or the handlelessness does not occur does not hold.; [assump1] & int3 -> hypothesis; __PROVED__