if the fronting Ferocactus does not occur then the suttee does not occur and the unobjectionableness does not occur.
sent1: if the anorectalness does not occur the suttee does not occur and the baking does not occur. sent2: that the peek does not occur and the amoebicness does not occur prevents that the unobjectionableness occurs. sent3: the unprintableness does not occur. sent4: the non-anorectalness leads to that the baking does not occur. sent5: if the confusing prejudgment happens the repining redfish occurs. sent6: that the peek does not occur hold if the repining redfish occurs. sent7: the repining redfish triggers that the peek does not occur and the amoebicness does not occur. sent8: the confusing prejudgment occurs and/or the punting does not occur if the repining photometrist does not occur. sent9: the repining redfish occurs if the punting does not occur. sent10: that the duplicity does not occur and the coloring does not occur is caused by the non-federalness. sent11: that the fronting Ferocactus occurs is right if the anorectalness occurs. sent12: the repining photometrist does not occur.
void -> assump2: Let's assume that the anorectalness happens.; sent11 & assump2 -> int1: the fronting Ferocactus happens.; void -> assump1: Let's assume that the fact that the fronting Ferocactus does not occur is not false.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the anorectalness does not occur hold.; int3 & sent1 -> int4: the suttee does not occur and the baking does not occur.; int4 -> int5: the suttee does not occur.; sent8 & sent12 -> int6: the confusing prejudgment happens and/or the punt does not occur.; int6 & sent5 & sent9 -> int7: the repining redfish happens.; sent7 & int7 -> int8: the peek does not occur and the amoebicness does not occur.; sent2 & int8 -> int9: the unobjectionableness does not occur.; int5 & int9 -> int10: the suttee does not occur and the unobjectionableness does not occur.; [assump1] & int10 -> hypothesis;
$hypothesis$ = if the fronting Ferocactus does not occur then the suttee does not occur and the unobjectionableness does not occur. ; $context$ = sent1: if the anorectalness does not occur the suttee does not occur and the baking does not occur. sent2: that the peek does not occur and the amoebicness does not occur prevents that the unobjectionableness occurs. sent3: the unprintableness does not occur. sent4: the non-anorectalness leads to that the baking does not occur. sent5: if the confusing prejudgment happens the repining redfish occurs. sent6: that the peek does not occur hold if the repining redfish occurs. sent7: the repining redfish triggers that the peek does not occur and the amoebicness does not occur. sent8: the confusing prejudgment occurs and/or the punting does not occur if the repining photometrist does not occur. sent9: the repining redfish occurs if the punting does not occur. sent10: that the duplicity does not occur and the coloring does not occur is caused by the non-federalness. sent11: that the fronting Ferocactus occurs is right if the anorectalness occurs. sent12: the repining photometrist does not occur. ; $proof$ = 
void -> assump2: Let's assume that the anorectalness happens.; sent11 & assump2 -> int1: the fronting Ferocactus happens.; void -> assump1: Let's assume that the fact that the fronting Ferocactus does not occur is not false.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the anorectalness does not occur hold.; int3 & sent1 -> int4: the suttee does not occur and the baking does not occur.; int4 -> int5: the suttee does not occur.; sent8 & sent12 -> int6: the confusing prejudgment happens and/or the punt does not occur.; int6 & sent5 & sent9 -> int7: the repining redfish happens.; sent7 & int7 -> int8: the peek does not occur and the amoebicness does not occur.; sent2 & int8 -> int9: the unobjectionableness does not occur.; int5 & int9 -> int10: the suttee does not occur and the unobjectionableness does not occur.; [assump1] & int10 -> hypothesis; __PROVED__