that both the prepayment and the boycott occurs is wrong.
sent1: that if the fact that that the lobbing bravura happens and the cockfight happens is not right is right then the steps does not occur is correct. sent2: the boycotting occurs if the prolateness does not occur. sent3: the socialization is caused by that the lobbing essonite does not occur. sent4: either the non-aecialness or the non-sidingness or both happens. sent5: that the cockfight does not occur is triggered by that the vetoing happens or the steps occurs or both. sent6: if the lobbing Appleton does not occur the prolateness does not occur and the belching does not occur. sent7: if the fact that not the prolateness but the lobbing bravura happens is incorrect the belching does not occur. sent8: the credits does not occur if the aecialness does not occur. sent9: the fact that the lobbing Appleton happens is not false. sent10: the fact that both the non-prolateness and the lobbing bravura happens is false if the cockfight does not occur. sent11: the crediting does not occur if the sidingness does not occur. sent12: the belching and the lobbing Appleton occurs if that the crediting does not occur is not incorrect.
void -> assump1: Let's assume that the vetoing happens.; assump1 -> int1: the veto happens and/or the stepping occurs.; int1 & sent5 -> int2: the fact that the cockfight does not occur hold.; int2 & sent10 -> int3: that the non-prolateness and the lobbing bravura happens is wrong.; int3 & sent7 -> int4: the fact that the belching does not occur hold.; sent4 & sent8 & sent11 -> int5: the crediting does not occur.; sent12 & int5 -> int6: the belching and the lobbing Appleton happens.; int6 -> int7: the belching happens.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the veto does not occur.;
the prepayment and the boycotting happens.
$hypothesis$ = that both the prepayment and the boycott occurs is wrong. ; $context$ = sent1: that if the fact that that the lobbing bravura happens and the cockfight happens is not right is right then the steps does not occur is correct. sent2: the boycotting occurs if the prolateness does not occur. sent3: the socialization is caused by that the lobbing essonite does not occur. sent4: either the non-aecialness or the non-sidingness or both happens. sent5: that the cockfight does not occur is triggered by that the vetoing happens or the steps occurs or both. sent6: if the lobbing Appleton does not occur the prolateness does not occur and the belching does not occur. sent7: if the fact that not the prolateness but the lobbing bravura happens is incorrect the belching does not occur. sent8: the credits does not occur if the aecialness does not occur. sent9: the fact that the lobbing Appleton happens is not false. sent10: the fact that both the non-prolateness and the lobbing bravura happens is false if the cockfight does not occur. sent11: the crediting does not occur if the sidingness does not occur. sent12: the belching and the lobbing Appleton occurs if that the crediting does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the vetoing happens.; assump1 -> int1: the veto happens and/or the stepping occurs.; int1 & sent5 -> int2: the fact that the cockfight does not occur hold.; int2 & sent10 -> int3: that the non-prolateness and the lobbing bravura happens is wrong.; int3 & sent7 -> int4: the fact that the belching does not occur hold.; sent4 & sent8 & sent11 -> int5: the crediting does not occur.; sent12 & int5 -> int6: the belching and the lobbing Appleton happens.; int6 -> int7: the belching happens.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the veto does not occur.; __UNKNOWN__