the Sovietsness occurs.
sent1: if the words does not occur then the deformationalness happens and the stapling capriciousness happens. sent2: the funrun happens if the Sovietsness happens but the five-hitter does not occur. sent3: the dogmatizing willet does not occur. sent4: the sociableness does not occur. sent5: the fact that the mobilization does not occur and the acquainting Wegener does not occur hold. sent6: the acquainting Vivaldi does not occur. sent7: that the acquainting kinswoman does not occur is correct. sent8: if the deformationalness happens then that not the dogmatizing willet but the concoction happens is incorrect. sent9: the five-hitter is triggered by the Sovietsness. sent10: the Masonicness happens. sent11: that the dynamics occurs prevents that the interrogative does not occur. sent12: the stapling wildflower occurs if the videotaping occurs. sent13: the plain does not occur. sent14: the five-hitter does not occur and the concoction does not occur. sent15: the dogmatizing baccarat does not occur and the communalism does not occur. sent16: the acquainting strider does not occur. sent17: the concoction does not occur. sent18: if that the dogmatizing willet does not occur and the concoction happens does not hold then the concoction does not occur.
void -> assump1: Let's assume that the Sovietsness occurs.; sent9 & assump1 -> int1: the five-hitter occurs.; sent14 -> int2: the five-hitter does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Sovietsness happens.
$hypothesis$ = the Sovietsness occurs. ; $context$ = sent1: if the words does not occur then the deformationalness happens and the stapling capriciousness happens. sent2: the funrun happens if the Sovietsness happens but the five-hitter does not occur. sent3: the dogmatizing willet does not occur. sent4: the sociableness does not occur. sent5: the fact that the mobilization does not occur and the acquainting Wegener does not occur hold. sent6: the acquainting Vivaldi does not occur. sent7: that the acquainting kinswoman does not occur is correct. sent8: if the deformationalness happens then that not the dogmatizing willet but the concoction happens is incorrect. sent9: the five-hitter is triggered by the Sovietsness. sent10: the Masonicness happens. sent11: that the dynamics occurs prevents that the interrogative does not occur. sent12: the stapling wildflower occurs if the videotaping occurs. sent13: the plain does not occur. sent14: the five-hitter does not occur and the concoction does not occur. sent15: the dogmatizing baccarat does not occur and the communalism does not occur. sent16: the acquainting strider does not occur. sent17: the concoction does not occur. sent18: if that the dogmatizing willet does not occur and the concoction happens does not hold then the concoction does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Sovietsness occurs.; sent9 & assump1 -> int1: the five-hitter occurs.; sent14 -> int2: the five-hitter does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__