that the wobbling boycott occurs is right.
sent1: if the wobbling nominative happens then the carom happens. sent2: the wobbling nominative happens. sent3: the fact that the caroming happens and/or the falsehood occurs is not incorrect. sent4: the clouding Gjellerup occurs. sent5: if that the wobbling nominative does not occur and/or the carom happens is not correct the wobbling boycott does not occur. sent6: either the predicativeness occurs or the auguring does not occur or both. sent7: that the falsehood does not occur leads to that the wobbling boycott occurs. sent8: the wobbling boycott occurs if either the caroming occurs or the falsehood does not occur or both.
sent1 & sent2 -> int1: the carom happens.; int1 -> int2: the caroming happens or the falsehood does not occur or both.; sent8 & int2 -> hypothesis;
the wobbling boycott does not occur.
$hypothesis$ = that the wobbling boycott occurs is right. ; $context$ = sent1: if the wobbling nominative happens then the carom happens. sent2: the wobbling nominative happens. sent3: the fact that the caroming happens and/or the falsehood occurs is not incorrect. sent4: the clouding Gjellerup occurs. sent5: if that the wobbling nominative does not occur and/or the carom happens is not correct the wobbling boycott does not occur. sent6: either the predicativeness occurs or the auguring does not occur or both. sent7: that the falsehood does not occur leads to that the wobbling boycott occurs. sent8: the wobbling boycott occurs if either the caroming occurs or the falsehood does not occur or both. ; $proof$ = 
sent1 & sent2 -> int1: the carom happens.; int1 -> int2: the caroming happens or the falsehood does not occur or both.; sent8 & int2 -> hypothesis; __PROVED__