the blockade does not occur.
sent1: the rectosigmoidness and the loading happens. sent2: that the antemeridianness but not the atavism occurs is false if the tortiousness happens. sent3: the antemeridianness does not occur if the fact that the antemeridianness happens and the atavism does not occur does not hold. sent4: the moneran occurs. sent5: the accreditation happens if the loading occurs. sent6: the rectosigmoidness happens. sent7: that the counterattraction happens and the accreditation occurs prevents that the crusting salute occurs. sent8: the fact that if that the procedure does not occur and the antemeridianness does not occur does not hold then the tortiousness does not occur is not incorrect. sent9: if the crusting salute does not occur then the blockade occurs. sent10: if the atavism does not occur the counterattraction occurs. sent11: the procedure occurs. sent12: if the tortiousness does not occur then the atavism does not occur.
void -> assump1: Let's assume that the procedure does not occur and the antemeridianness does not occur.; assump1 -> int1: the procedure does not occur.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the procedure does not occur and the antemeridianness does not occur is false.; int3 & sent8 -> int4: the tortiousness does not occur.; int4 & sent12 -> int5: the atavism does not occur.; int5 & sent10 -> int6: the counterattraction happens.; sent1 -> int7: the loading happens.; sent5 & int7 -> int8: the accreditation happens.; int6 & int8 -> int9: the fact that both the counterattraction and the accreditation happens is not wrong.; int9 & sent7 -> int10: the crusting salute does not occur.; int10 & sent9 -> hypothesis;
the oligopoly occurs.
$hypothesis$ = the blockade does not occur. ; $context$ = sent1: the rectosigmoidness and the loading happens. sent2: that the antemeridianness but not the atavism occurs is false if the tortiousness happens. sent3: the antemeridianness does not occur if the fact that the antemeridianness happens and the atavism does not occur does not hold. sent4: the moneran occurs. sent5: the accreditation happens if the loading occurs. sent6: the rectosigmoidness happens. sent7: that the counterattraction happens and the accreditation occurs prevents that the crusting salute occurs. sent8: the fact that if that the procedure does not occur and the antemeridianness does not occur does not hold then the tortiousness does not occur is not incorrect. sent9: if the crusting salute does not occur then the blockade occurs. sent10: if the atavism does not occur the counterattraction occurs. sent11: the procedure occurs. sent12: if the tortiousness does not occur then the atavism does not occur. ; $proof$ = 
void -> assump1: Let's assume that the procedure does not occur and the antemeridianness does not occur.; assump1 -> int1: the procedure does not occur.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the procedure does not occur and the antemeridianness does not occur is false.; int3 & sent8 -> int4: the tortiousness does not occur.; int4 & sent12 -> int5: the atavism does not occur.; int5 & sent10 -> int6: the counterattraction happens.; sent1 -> int7: the loading happens.; sent5 & int7 -> int8: the accreditation happens.; int6 & int8 -> int9: the fact that both the counterattraction and the accreditation happens is not wrong.; int9 & sent7 -> int10: the crusting salute does not occur.; int10 & sent9 -> hypothesis; __DISPROVED__