the enactment does not occur.
sent1: that the clitoridectomy does not occur or that the obstetricsness does not occur or both prevents the non-blackbirdness. sent2: the stratifying expansivity does not occur if that the eagerness and/or the victory happens does not hold. sent3: that the stratifying expansivity does not occur is prevented by the stratifying ghillie. sent4: the clitoridectomy does not occur and the stratifying biodefense does not occur. sent5: if the trumpeting occurs the fact that the non-uneagerness or the victory or both happens is not right. sent6: if the premiere occurs and/or the trumpeting does not occur the handling happens. sent7: the inserting aminomethane does not occur and the stratifying ghillie occurs.
void -> assump1: Let's assume that the trumpeting occurs.; sent5 & assump1 -> int1: that the eagerness and/or the victory occurs does not hold.; int1 & sent2 -> int2: the stratifying expansivity does not occur.; sent7 -> int3: the stratifying ghillie occurs.; sent3 & int3 -> int4: the stratifying expansivity happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the trumpeting does not occur.; int6 -> int7: the premiere occurs or the trumpeting does not occur or both.; int7 & sent6 -> int8: the handling happens.; sent4 -> int9: the clitoridectomy does not occur.; int9 -> int10: the clitoridectomy does not occur and/or the obstetricsness does not occur.; sent1 & int10 -> int11: that the blackbird occurs hold.; int8 & int11 -> int12: both the handling and the blackbird happens.;
$hypothesis$ = the enactment does not occur. ; $context$ = sent1: that the clitoridectomy does not occur or that the obstetricsness does not occur or both prevents the non-blackbirdness. sent2: the stratifying expansivity does not occur if that the eagerness and/or the victory happens does not hold. sent3: that the stratifying expansivity does not occur is prevented by the stratifying ghillie. sent4: the clitoridectomy does not occur and the stratifying biodefense does not occur. sent5: if the trumpeting occurs the fact that the non-uneagerness or the victory or both happens is not right. sent6: if the premiere occurs and/or the trumpeting does not occur the handling happens. sent7: the inserting aminomethane does not occur and the stratifying ghillie occurs. ; $proof$ = 
void -> assump1: Let's assume that the trumpeting occurs.; sent5 & assump1 -> int1: that the eagerness and/or the victory occurs does not hold.; int1 & sent2 -> int2: the stratifying expansivity does not occur.; sent7 -> int3: the stratifying ghillie occurs.; sent3 & int3 -> int4: the stratifying expansivity happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the trumpeting does not occur.; int6 -> int7: the premiere occurs or the trumpeting does not occur or both.; int7 & sent6 -> int8: the handling happens.; sent4 -> int9: the clitoridectomy does not occur.; int9 -> int10: the clitoridectomy does not occur and/or the obstetricsness does not occur.; sent1 & int10 -> int11: that the blackbird occurs hold.; int8 & int11 -> int12: both the handling and the blackbird happens.; __UNKNOWN__