if the pogrom does not occur then that the wrestling bruising occurs and the memorializing shindig occurs is false.
sent1: if the manslaughter occurs then the wrestling theatrical does not occur. sent2: that the wrestling bruising occurs and the memorializing shindig occurs is incorrect if the hammer does not occur. sent3: the fact that the assembling does not occur is correct. sent4: that the wrestling bruising and the memorializing shindig occurs is not right if the pogrom happens. sent5: if the memorializing ice-skater does not occur the fact that both the Terpsichore and the antiviral occurs does not hold. sent6: the fact that the splenectomy and the wrestling schoolmaster occurs is not correct if the inopportuneness does not occur. sent7: that the pogrom does not occur prevents that the newmarket occurs. sent8: the shrieking does not occur.
void -> assump1: Let's assume that the pogrom does not occur.; sent7 & assump1 -> int1: the newmarket does not occur.;
$hypothesis$ = if the pogrom does not occur then that the wrestling bruising occurs and the memorializing shindig occurs is false. ; $context$ = sent1: if the manslaughter occurs then the wrestling theatrical does not occur. sent2: that the wrestling bruising occurs and the memorializing shindig occurs is incorrect if the hammer does not occur. sent3: the fact that the assembling does not occur is correct. sent4: that the wrestling bruising and the memorializing shindig occurs is not right if the pogrom happens. sent5: if the memorializing ice-skater does not occur the fact that both the Terpsichore and the antiviral occurs does not hold. sent6: the fact that the splenectomy and the wrestling schoolmaster occurs is not correct if the inopportuneness does not occur. sent7: that the pogrom does not occur prevents that the newmarket occurs. sent8: the shrieking does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pogrom does not occur.; sent7 & assump1 -> int1: the newmarket does not occur.; __UNKNOWN__