if the inheriting happens then that the expectorating does not occur and the algorithm does not occur does not hold.
sent1: the flocking polygynist does not occur if the fact that the fact that not the flocking tracheostomy but the flocking polygynist occurs is correct does not hold. sent2: the dadoing partitionist does not occur if that the nativeness does not occur is not wrong. sent3: the fact that the expectorating does not occur and/or the servomechanicalness occurs is false if the flocking polygynist does not occur. sent4: the fact that both the overcasting and the non-frontness occurs is wrong. sent5: the frontness happens. sent6: the algorithm does not occur if the fact that the expectorating does not occur or the servomechanicalness happens or both does not hold. sent7: the fact that the purification occurs is not incorrect. sent8: that not the expectorating but the algorithm happens is not correct if the inheriting occurs. sent9: that the overcast happens causes that the contingency does not occur and the spiriting does not occur. sent10: that the carjacking entrapment does not occur is triggered by that the tingling does not occur. sent11: the fact that the expectorating but not the algorithm happens is not right if the inheriting occurs. sent12: the expectorating does not occur and the algorithm does not occur. sent13: that the pogrom does not occur and/or that the segregating accountability does not occur prevents the pogrom. sent14: if the pogrom does not occur that the flocking tracheostomy does not occur and the flocking polygynist happens is not right. sent15: if the nativeness does not occur and the inheriting does not occur the slavery does not occur. sent16: if both the inheriting and the slavery happens then the nativeness does not occur. sent17: the slavery occurs if that the overcasting does not occur and the frontness does not occur does not hold.
void -> assump2: Let's assume that the inheriting happens.; void -> assump1: Let's assume that the overcast does not occur and the front does not occur.; assump1 -> int1: the fact that the fronting does not occur hold.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the overcast does not occur and the frontness does not occur is wrong.; sent17 & int3 -> int4: the slavery occurs.; assump2 & int4 -> int5: the inheriting and the slavery occurs.; sent16 & int5 -> int6: the native does not occur.; sent2 & int6 -> int7: the dadoing partitionist does not occur.;
the contingency does not occur and the spirit does not occur.
$hypothesis$ = if the inheriting happens then that the expectorating does not occur and the algorithm does not occur does not hold. ; $context$ = sent1: the flocking polygynist does not occur if the fact that the fact that not the flocking tracheostomy but the flocking polygynist occurs is correct does not hold. sent2: the dadoing partitionist does not occur if that the nativeness does not occur is not wrong. sent3: the fact that the expectorating does not occur and/or the servomechanicalness occurs is false if the flocking polygynist does not occur. sent4: the fact that both the overcasting and the non-frontness occurs is wrong. sent5: the frontness happens. sent6: the algorithm does not occur if the fact that the expectorating does not occur or the servomechanicalness happens or both does not hold. sent7: the fact that the purification occurs is not incorrect. sent8: that not the expectorating but the algorithm happens is not correct if the inheriting occurs. sent9: that the overcast happens causes that the contingency does not occur and the spiriting does not occur. sent10: that the carjacking entrapment does not occur is triggered by that the tingling does not occur. sent11: the fact that the expectorating but not the algorithm happens is not right if the inheriting occurs. sent12: the expectorating does not occur and the algorithm does not occur. sent13: that the pogrom does not occur and/or that the segregating accountability does not occur prevents the pogrom. sent14: if the pogrom does not occur that the flocking tracheostomy does not occur and the flocking polygynist happens is not right. sent15: if the nativeness does not occur and the inheriting does not occur the slavery does not occur. sent16: if both the inheriting and the slavery happens then the nativeness does not occur. sent17: the slavery occurs if that the overcasting does not occur and the frontness does not occur does not hold. ; $proof$ = 
void -> assump2: Let's assume that the inheriting happens.; void -> assump1: Let's assume that the overcast does not occur and the front does not occur.; assump1 -> int1: the fact that the fronting does not occur hold.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the overcast does not occur and the frontness does not occur is wrong.; sent17 & int3 -> int4: the slavery occurs.; assump2 & int4 -> int5: the inheriting and the slavery occurs.; sent16 & int5 -> int6: the native does not occur.; sent2 & int6 -> int7: the dadoing partitionist does not occur.; __UNKNOWN__