the wariness does not occur.
sent1: if the fact that the Gandhianness does not occur and the rummaging intermezzo does not occur is not right the rummaging intermezzo occurs. sent2: if not the rewarding sexist but the vote occurs then the temperateness occurs. sent3: the motorcade does not occur if the fact that the rewarding zakat does not occur or the headlock does not occur or both is wrong. sent4: the rummaging intermezzo leads to that the hatting occurs. sent5: if the bribery but not the rummaging latke happens then the rewarding sexist occurs. sent6: that the stoloniferousness does not occur and the callosotomy does not occur is caused by that the whacking does not occur. sent7: if the security happens then the slagging cholera but not the IV occurs. sent8: if the hat happens that the rewarding zakat does not occur and/or the headlock does not occur is not true. sent9: the rewarding sexist does not occur and the vote happens if that the rummaging sutler does not occur hold. sent10: the voting does not occur if the fact that the bribery occurs and the rummaging latke does not occur is incorrect. sent11: the non-betterness and the non-wariness happens if the callosotomy does not occur. sent12: the rummaging sutler happens if the voting does not occur. sent13: that the vote does not occur leads to that the non-wariness and the rummaging sutler occurs. sent14: if the slagging cholera but not the IV happens the whacking does not occur. sent15: the rummaging sutler happens. sent16: the rewarding sexist does not occur and the betterness does not occur. sent17: if the motorcade does not occur then both the security and the pegging ganglion happens. sent18: the vote does not occur if that the bribery does not occur hold.
void -> assump1: Let's assume that the bribery happens and the rummaging latke does not occur.; sent5 & assump1 -> int1: that the rewarding sexist happens hold.; sent16 -> int2: the fact that the rewarding sexist does not occur is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the bribery happens and the rummaging latke does not occur is not right.; int4 & sent10 -> int5: the voting does not occur.; int5 & sent13 -> int6: the unwaryness and the rummaging sutler happens.; int6 -> hypothesis;
that the temperateness happens hold.
$hypothesis$ = the wariness does not occur. ; $context$ = sent1: if the fact that the Gandhianness does not occur and the rummaging intermezzo does not occur is not right the rummaging intermezzo occurs. sent2: if not the rewarding sexist but the vote occurs then the temperateness occurs. sent3: the motorcade does not occur if the fact that the rewarding zakat does not occur or the headlock does not occur or both is wrong. sent4: the rummaging intermezzo leads to that the hatting occurs. sent5: if the bribery but not the rummaging latke happens then the rewarding sexist occurs. sent6: that the stoloniferousness does not occur and the callosotomy does not occur is caused by that the whacking does not occur. sent7: if the security happens then the slagging cholera but not the IV occurs. sent8: if the hat happens that the rewarding zakat does not occur and/or the headlock does not occur is not true. sent9: the rewarding sexist does not occur and the vote happens if that the rummaging sutler does not occur hold. sent10: the voting does not occur if the fact that the bribery occurs and the rummaging latke does not occur is incorrect. sent11: the non-betterness and the non-wariness happens if the callosotomy does not occur. sent12: the rummaging sutler happens if the voting does not occur. sent13: that the vote does not occur leads to that the non-wariness and the rummaging sutler occurs. sent14: if the slagging cholera but not the IV happens the whacking does not occur. sent15: the rummaging sutler happens. sent16: the rewarding sexist does not occur and the betterness does not occur. sent17: if the motorcade does not occur then both the security and the pegging ganglion happens. sent18: the vote does not occur if that the bribery does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the bribery happens and the rummaging latke does not occur.; sent5 & assump1 -> int1: that the rewarding sexist happens hold.; sent16 -> int2: the fact that the rewarding sexist does not occur is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the bribery happens and the rummaging latke does not occur is not right.; int4 & sent10 -> int5: the voting does not occur.; int5 & sent13 -> int6: the unwaryness and the rummaging sutler happens.; int6 -> hypothesis; __PROVED__