the biologism does not occur if the uncreativeness does not occur.
sent1: the uncreativeness prevents that the biologism happens. sent2: the biologism does not occur if the Falstaffianness and/or the working Cybele occurs. sent3: if the uncreativeness or the bregmaticness or both occurs then the Falstaffianness happens. sent4: that the biologism occurs is brought about by that the uncreativeness does not occur. sent5: the Falstaffianness happens if the non-uncreativeness and/or the bregmaticness occurs. sent6: the cyprianness is triggered by that the Celticness does not occur. sent7: if the loyalness happens the Laotianness does not occur. sent8: the begging occurs. sent9: the barracking whipper-in does not occur. sent10: the fact that the Falstaffianness occurs hold if the bregmaticness occurs. sent11: the working varsity and/or the hedge happens.
void -> assump1: Let's assume that the uncreativeness does not occur.; assump1 -> int1: either the uncreativeness does not occur or the bregmaticness occurs or both.; sent5 & int1 -> int2: the Falstaffianness happens.; int2 -> int3: the Falstaffianness and/or the working Cybele happens.; sent2 & int3 -> int4: the biologism does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the biologism does not occur if the uncreativeness does not occur. ; $context$ = sent1: the uncreativeness prevents that the biologism happens. sent2: the biologism does not occur if the Falstaffianness and/or the working Cybele occurs. sent3: if the uncreativeness or the bregmaticness or both occurs then the Falstaffianness happens. sent4: that the biologism occurs is brought about by that the uncreativeness does not occur. sent5: the Falstaffianness happens if the non-uncreativeness and/or the bregmaticness occurs. sent6: the cyprianness is triggered by that the Celticness does not occur. sent7: if the loyalness happens the Laotianness does not occur. sent8: the begging occurs. sent9: the barracking whipper-in does not occur. sent10: the fact that the Falstaffianness occurs hold if the bregmaticness occurs. sent11: the working varsity and/or the hedge happens. ; $proof$ = 
void -> assump1: Let's assume that the uncreativeness does not occur.; assump1 -> int1: either the uncreativeness does not occur or the bregmaticness occurs or both.; sent5 & int1 -> int2: the Falstaffianness happens.; int2 -> int3: the Falstaffianness and/or the working Cybele happens.; sent2 & int3 -> int4: the biologism does not occur.; [assump1] & int4 -> hypothesis; __PROVED__