both the shove-halfpenny and the blackmail occurs.
sent1: the weaving occurs and the repoting annihilator happens. sent2: both the moralism and the undesirable occurs if the undemonstrativeness does not occur. sent3: if that both the levitating and the augmentation happens is false the weaving does not occur. sent4: if the fact that the shove-halfpenny does not occur hold that the levitating and the augmentation occurs is not true. sent5: the fact that the euphoricness happens and the undemonstrativeness happens is not right. sent6: the undemonstrativeness does not occur if the fact that the fact that both the euphoricness and the undemonstrativeness occurs is right is not right. sent7: the blackmail happens if the undesirable happens.
void -> assump1: Let's assume that the shove-halfpenny does not occur.; sent4 & assump1 -> int1: the fact that the levitating occurs and the augmentation happens does not hold.; int1 & sent3 -> int2: the weaving does not occur.; sent1 -> int3: the weaving occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the shove-halfpenny happens.; sent6 & sent5 -> int6: the undemonstrativeness does not occur.; sent2 & int6 -> int7: the moralism and the undesirableness happens.; int7 -> int8: the undesirable occurs.; sent7 & int8 -> int9: the blackmailing happens.; int5 & int9 -> hypothesis;
$hypothesis$ = both the shove-halfpenny and the blackmail occurs. ; $context$ = sent1: the weaving occurs and the repoting annihilator happens. sent2: both the moralism and the undesirable occurs if the undemonstrativeness does not occur. sent3: if that both the levitating and the augmentation happens is false the weaving does not occur. sent4: if the fact that the shove-halfpenny does not occur hold that the levitating and the augmentation occurs is not true. sent5: the fact that the euphoricness happens and the undemonstrativeness happens is not right. sent6: the undemonstrativeness does not occur if the fact that the fact that both the euphoricness and the undemonstrativeness occurs is right is not right. sent7: the blackmail happens if the undesirable happens. ; $proof$ = 
void -> assump1: Let's assume that the shove-halfpenny does not occur.; sent4 & assump1 -> int1: the fact that the levitating occurs and the augmentation happens does not hold.; int1 & sent3 -> int2: the weaving does not occur.; sent1 -> int3: the weaving occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the shove-halfpenny happens.; sent6 & sent5 -> int6: the undemonstrativeness does not occur.; sent2 & int6 -> int7: the moralism and the undesirableness happens.; int7 -> int8: the undesirable occurs.; sent7 & int8 -> int9: the blackmailing happens.; int5 & int9 -> hypothesis; __PROVED__