that the subvention does not occur hold.
sent1: if the unfurling does not occur then the malting does not occur. sent2: if the subvention happens the hindrance does not occur. sent3: that the timing does not occur hold. sent4: the corrections does not occur. sent5: the pratfall is brought about by that the proconsularness happens. sent6: the tincturing Villon does not occur. sent7: the decreasing does not occur. sent8: the calvary does not occur if the soliton does not occur but the unreportableness occurs. sent9: the fact that the proconsularness does not occur and the petrissage does not occur is not right if that the Crusade occurs is not false. sent10: if the redecorating soiling does not occur and the hindrance does not occur then the starting does not occur. sent11: the fact that that the pratfall does not occur hold does not hold if that the proconsularness does not occur and the petrissage does not occur is false. sent12: if the dinning does not occur the fact that the fact that the journalisticness does not occur and/or the footfault does not occur is incorrect is not false. sent13: if the subvention happens the redecorating soiling does not occur and the hindrance does not occur. sent14: that the dinning occurs does not hold. sent15: if the falling fill does not occur and the starting does not occur then that the pratfall does not occur is right. sent16: the bioterrorism does not occur. sent17: if that either the anionic does not occur or the falling vacuousness occurs or both is not right the omission occurs. sent18: the Crusade occurs if the fact that either the journalisticness occurs or the footfault does not occur or both is not correct. sent19: if the tincturing Villon does not occur then the falling fill does not occur. sent20: if the fact that the journalisticness does not occur and/or the footfault does not occur is wrong the Crusade happens. sent21: the fact that the proconsularness happens but the petrissage does not occur is wrong.
void -> assump1: Let's assume that the subvention happens.; sent13 & assump1 -> int1: the redecorating soiling does not occur and the hindrance does not occur.; int1 & sent10 -> int2: the starting does not occur.; sent19 & sent6 -> int3: the falling fill does not occur.; int2 & int3 -> int4: the falling fill does not occur and the starting does not occur.; int4 & sent15 -> int5: the pratfall does not occur.; sent12 & sent14 -> int6: the fact that the fact that the journalisticness does not occur and/or the footfault does not occur is not incorrect is not correct.; sent20 & int6 -> int7: the Crusade happens.; sent9 & int7 -> int8: that the proconsularness does not occur and the petrissage does not occur is false.; sent11 & int8 -> int9: the pratfall occurs.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = that the subvention does not occur hold. ; $context$ = sent1: if the unfurling does not occur then the malting does not occur. sent2: if the subvention happens the hindrance does not occur. sent3: that the timing does not occur hold. sent4: the corrections does not occur. sent5: the pratfall is brought about by that the proconsularness happens. sent6: the tincturing Villon does not occur. sent7: the decreasing does not occur. sent8: the calvary does not occur if the soliton does not occur but the unreportableness occurs. sent9: the fact that the proconsularness does not occur and the petrissage does not occur is not right if that the Crusade occurs is not false. sent10: if the redecorating soiling does not occur and the hindrance does not occur then the starting does not occur. sent11: the fact that that the pratfall does not occur hold does not hold if that the proconsularness does not occur and the petrissage does not occur is false. sent12: if the dinning does not occur the fact that the fact that the journalisticness does not occur and/or the footfault does not occur is incorrect is not false. sent13: if the subvention happens the redecorating soiling does not occur and the hindrance does not occur. sent14: that the dinning occurs does not hold. sent15: if the falling fill does not occur and the starting does not occur then that the pratfall does not occur is right. sent16: the bioterrorism does not occur. sent17: if that either the anionic does not occur or the falling vacuousness occurs or both is not right the omission occurs. sent18: the Crusade occurs if the fact that either the journalisticness occurs or the footfault does not occur or both is not correct. sent19: if the tincturing Villon does not occur then the falling fill does not occur. sent20: if the fact that the journalisticness does not occur and/or the footfault does not occur is wrong the Crusade happens. sent21: the fact that the proconsularness happens but the petrissage does not occur is wrong. ; $proof$ = 
void -> assump1: Let's assume that the subvention happens.; sent13 & assump1 -> int1: the redecorating soiling does not occur and the hindrance does not occur.; int1 & sent10 -> int2: the starting does not occur.; sent19 & sent6 -> int3: the falling fill does not occur.; int2 & int3 -> int4: the falling fill does not occur and the starting does not occur.; int4 & sent15 -> int5: the pratfall does not occur.; sent12 & sent14 -> int6: the fact that the fact that the journalisticness does not occur and/or the footfault does not occur is not incorrect is not correct.; sent20 & int6 -> int7: the Crusade happens.; sent9 & int7 -> int8: that the proconsularness does not occur and the petrissage does not occur is false.; sent11 & int8 -> int9: the pratfall occurs.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__