the plumping does not occur.
sent1: the reconstructing or that the proprioceptiveness happens or both causes that the sketching does not occur. sent2: the fact that the selection occurs and the cockfight does not occur is incorrect. sent3: that the anathema occurs but the plump does not occur is false. sent4: the reconstructing happens if the anathema happens. sent5: the inspection happens. sent6: the reconstructing occurs if the fact that the anathema does not occur and the plump does not occur does not hold. sent7: that the proprioceptiveness occurs prevents that the sketching occurs. sent8: the anathema does not occur. sent9: the BW does not occur if that either the unsweptness occurs or the augury occurs or both is not incorrect. sent10: if that the selection but not the cockfight happens is not correct then the selection does not occur. sent11: if the selection does not occur then the inspection happens. sent12: that the selection does not occur brings about that the sketch happens and the inspection occurs.
void -> assump1: Let's assume that the fact that the anathema does not occur and the plumping does not occur is not correct.; sent6 & assump1 -> int1: the reconstructing happens.; int1 -> int2: the reconstructing and/or the proprioceptiveness happens.; int2 & sent1 -> int3: the sketching does not occur.; sent10 & sent2 -> int4: the selection does not occur.; sent12 & int4 -> int5: both the sketch and the inspection occurs.; int5 -> int6: the sketching happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the anathema does not occur and the plumping does not occur.; int8 -> hypothesis;
$hypothesis$ = the plumping does not occur. ; $context$ = sent1: the reconstructing or that the proprioceptiveness happens or both causes that the sketching does not occur. sent2: the fact that the selection occurs and the cockfight does not occur is incorrect. sent3: that the anathema occurs but the plump does not occur is false. sent4: the reconstructing happens if the anathema happens. sent5: the inspection happens. sent6: the reconstructing occurs if the fact that the anathema does not occur and the plump does not occur does not hold. sent7: that the proprioceptiveness occurs prevents that the sketching occurs. sent8: the anathema does not occur. sent9: the BW does not occur if that either the unsweptness occurs or the augury occurs or both is not incorrect. sent10: if that the selection but not the cockfight happens is not correct then the selection does not occur. sent11: if the selection does not occur then the inspection happens. sent12: that the selection does not occur brings about that the sketch happens and the inspection occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the anathema does not occur and the plumping does not occur is not correct.; sent6 & assump1 -> int1: the reconstructing happens.; int1 -> int2: the reconstructing and/or the proprioceptiveness happens.; int2 & sent1 -> int3: the sketching does not occur.; sent10 & sent2 -> int4: the selection does not occur.; sent12 & int4 -> int5: both the sketch and the inspection occurs.; int5 -> int6: the sketching happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the anathema does not occur and the plumping does not occur.; int8 -> hypothesis; __PROVED__