the priming does not occur.
sent1: the revenging arched does not occur. sent2: the reallotment happens if the settling bow happens. sent3: the non-hooflikeness and the sabotaging happens if the qualitativeness does not occur. sent4: the reallotment does not occur and the anictericness does not occur if the emblazoning codeine does not occur. sent5: the SNP and the driftage happens. sent6: if that the revenging arched does not occur is right then the hooflikeness and the emblazoning codeine happens. sent7: if the SNP occurs the fact that the settling bow occurs is true. sent8: that the qualitativeness occurs prevents that the anictericness does not occur. sent9: if the anictericness happens and the reallotment occurs the priming does not occur.
void -> assump1: Let's assume that the qualitativeness does not occur.; sent3 & assump1 -> int1: the hooflikeness does not occur and the sabotage happens.; int1 -> int2: the hooflikeness does not occur.; sent6 & sent1 -> int3: the hooflikeness and the emblazoning codeine happens.; int3 -> int4: the hooflikeness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the qualitativeness does not occur is wrong.; int6 & sent8 -> int7: the anictericness happens.; sent5 -> int8: the SNP happens.; sent7 & int8 -> int9: the settling bow occurs.; sent2 & int9 -> int10: the reallotment happens.; int7 & int10 -> int11: both the anictericness and the reallotment occurs.; int11 & sent9 -> hypothesis;
the priming occurs.
$hypothesis$ = the priming does not occur. ; $context$ = sent1: the revenging arched does not occur. sent2: the reallotment happens if the settling bow happens. sent3: the non-hooflikeness and the sabotaging happens if the qualitativeness does not occur. sent4: the reallotment does not occur and the anictericness does not occur if the emblazoning codeine does not occur. sent5: the SNP and the driftage happens. sent6: if that the revenging arched does not occur is right then the hooflikeness and the emblazoning codeine happens. sent7: if the SNP occurs the fact that the settling bow occurs is true. sent8: that the qualitativeness occurs prevents that the anictericness does not occur. sent9: if the anictericness happens and the reallotment occurs the priming does not occur. ; $proof$ = 
void -> assump1: Let's assume that the qualitativeness does not occur.; sent3 & assump1 -> int1: the hooflikeness does not occur and the sabotage happens.; int1 -> int2: the hooflikeness does not occur.; sent6 & sent1 -> int3: the hooflikeness and the emblazoning codeine happens.; int3 -> int4: the hooflikeness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the qualitativeness does not occur is wrong.; int6 & sent8 -> int7: the anictericness happens.; sent5 -> int8: the SNP happens.; sent7 & int8 -> int9: the settling bow occurs.; sent2 & int9 -> int10: the reallotment happens.; int7 & int10 -> int11: both the anictericness and the reallotment occurs.; int11 & sent9 -> hypothesis; __PROVED__