if the turfing chivalry happens the glowering happens.
sent1: the fact that the prospectiveness happens or the abuse does not occur or both is incorrect. sent2: the fact that the finance does not occur and the sign does not occur does not hold if the fartlek does not occur. sent3: if the subdividing occurs the primariness occurs. sent4: the incarnation does not occur if the turfing booming does not occur. sent5: the turfing sidesplitter happens or the vicissitude happens or both. sent6: if that either the turfing capriole happens or the divaricating palfrey happens or both does not hold the lucifugousness does not occur. sent7: the procurement does not occur if that not the turfing chivalry but the fartlek occurs is not true. sent8: that the financing occurs and the signing does not occur is not true. sent9: the glowering happens if the shortstop happens. sent10: that the divaricating wicket-keeper does not occur and the undergrowing does not occur does not hold if the departmentalness does not occur. sent11: the divaricating ampere does not occur if the turfing garrote does not occur. sent12: if the finance does not occur that the turfing chivalry does not occur and the fartlek occurs does not hold. sent13: the shortstop happens if the fact that the finance does not occur and the signing does not occur is incorrect. sent14: that the profession does not occur is triggered by that the flattening androsterone does not occur. sent15: the finance does not occur if that the finance occurs and the shortstop does not occur is not true. sent16: the savory does not occur if either the score occurs or the casing psychopharmacology does not occur or both. sent17: the fact that the financing but not the shortstop happens is not true if the signing does not occur. sent18: that the antipodal happens or the casing mottling does not occur or both results in that the turfing chivalry does not occur. sent19: the fartlek does not occur if that that the antipodalness happens or the casing mottling does not occur or both is true is not correct.
void -> assump1: Let's assume that the turfing chivalry occurs.; void -> assump2: Let's assume that that the antipodalness happens and/or the casing mottling does not occur hold.; sent18 & assump2 -> int1: the turfing chivalry does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the antipodal occurs and/or the casing mottling does not occur is wrong.; sent19 & int3 -> int4: the fartlek does not occur.; sent2 & int4 -> int5: that the finance does not occur and the signing does not occur is wrong.; sent13 & int5 -> int6: the shortstop happens.; sent9 & int6 -> int7: the glowering occurs.; [assump1] & int7 -> hypothesis;
the procurement does not occur.
$hypothesis$ = if the turfing chivalry happens the glowering happens. ; $context$ = sent1: the fact that the prospectiveness happens or the abuse does not occur or both is incorrect. sent2: the fact that the finance does not occur and the sign does not occur does not hold if the fartlek does not occur. sent3: if the subdividing occurs the primariness occurs. sent4: the incarnation does not occur if the turfing booming does not occur. sent5: the turfing sidesplitter happens or the vicissitude happens or both. sent6: if that either the turfing capriole happens or the divaricating palfrey happens or both does not hold the lucifugousness does not occur. sent7: the procurement does not occur if that not the turfing chivalry but the fartlek occurs is not true. sent8: that the financing occurs and the signing does not occur is not true. sent9: the glowering happens if the shortstop happens. sent10: that the divaricating wicket-keeper does not occur and the undergrowing does not occur does not hold if the departmentalness does not occur. sent11: the divaricating ampere does not occur if the turfing garrote does not occur. sent12: if the finance does not occur that the turfing chivalry does not occur and the fartlek occurs does not hold. sent13: the shortstop happens if the fact that the finance does not occur and the signing does not occur is incorrect. sent14: that the profession does not occur is triggered by that the flattening androsterone does not occur. sent15: the finance does not occur if that the finance occurs and the shortstop does not occur is not true. sent16: the savory does not occur if either the score occurs or the casing psychopharmacology does not occur or both. sent17: the fact that the financing but not the shortstop happens is not true if the signing does not occur. sent18: that the antipodal happens or the casing mottling does not occur or both results in that the turfing chivalry does not occur. sent19: the fartlek does not occur if that that the antipodalness happens or the casing mottling does not occur or both is true is not correct. ; $proof$ = 
void -> assump1: Let's assume that the turfing chivalry occurs.; void -> assump2: Let's assume that that the antipodalness happens and/or the casing mottling does not occur hold.; sent18 & assump2 -> int1: the turfing chivalry does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the antipodal occurs and/or the casing mottling does not occur is wrong.; sent19 & int3 -> int4: the fartlek does not occur.; sent2 & int4 -> int5: that the finance does not occur and the signing does not occur is wrong.; sent13 & int5 -> int6: the shortstop happens.; sent9 & int6 -> int7: the glowering occurs.; [assump1] & int7 -> hypothesis; __PROVED__