that if the tolerance occurs then that that the Bismarckianness does not occur and/or the broiling leasehold does not occur is not correct hold is not correct.
sent1: that either the Bismarckianness does not occur or the broiling leasehold does not occur or both is brought about by the non-Elizabethanness. sent2: if the Elizabethanness does not occur the fact that the Bismarckianness does not occur or the broiling leasehold does not occur or both is false. sent3: the Bismarckianness happens. sent4: the fact that either the disturbance does not occur or the stultification does not occur or both is false if the steps does not occur. sent5: the fact that not the tolerance but the healthiness happens is not correct. sent6: if the corruption happens then the Elizabethanness does not occur. sent7: that the tolerance happens yields that the Bismarckianness happens. sent8: the fabricating obscurity does not occur. sent9: that the Bismarckianness does not occur and/or the broiling leasehold occurs is wrong if the tolerance occurs. sent10: the shitwork occurs. sent11: the tolerance results in the non-Bismarckianness and/or that the broiling leasehold does not occur. sent12: the covering does not occur. sent13: the non-Elizabethanness is caused by that the corruption happens or the quarantining ovule happens or both. sent14: the Bismarckianness does not occur or the broiling leasehold does not occur or both. sent15: that the Protestantness does not occur is brought about by the hap. sent16: the steps does not occur. sent17: that the quarantining ovule happens is not incorrect if that the tolerance does not occur and the healthiness does not occur is not correct. sent18: the fact that both the tolerance and the unhealthyness occurs is incorrect. sent19: that both the non-tannicness and the steadyness happens is incorrect. sent20: the sighting does not occur.
void -> assump2: Let's assume that the tolerance occurs.; void -> assump1: Let's assume that the fact that the tolerance does not occur and the healthiness does not occur hold.; assump1 -> int1: the tolerance does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the tolerance does not occur and the healthiness does not occur is incorrect.; sent17 & int3 -> int4: the quarantining ovule happens.; int4 -> int5: the corruption or the quarantining ovule or both happens.; sent13 & int5 -> int6: the Elizabethan does not occur.; sent2 & int6 -> int7: the fact that the Bismarckianness does not occur or the broiling leasehold does not occur or both is false.; [assump2] & int7 -> hypothesis;
$hypothesis$ = that if the tolerance occurs then that that the Bismarckianness does not occur and/or the broiling leasehold does not occur is not correct hold is not correct. ; $context$ = sent1: that either the Bismarckianness does not occur or the broiling leasehold does not occur or both is brought about by the non-Elizabethanness. sent2: if the Elizabethanness does not occur the fact that the Bismarckianness does not occur or the broiling leasehold does not occur or both is false. sent3: the Bismarckianness happens. sent4: the fact that either the disturbance does not occur or the stultification does not occur or both is false if the steps does not occur. sent5: the fact that not the tolerance but the healthiness happens is not correct. sent6: if the corruption happens then the Elizabethanness does not occur. sent7: that the tolerance happens yields that the Bismarckianness happens. sent8: the fabricating obscurity does not occur. sent9: that the Bismarckianness does not occur and/or the broiling leasehold occurs is wrong if the tolerance occurs. sent10: the shitwork occurs. sent11: the tolerance results in the non-Bismarckianness and/or that the broiling leasehold does not occur. sent12: the covering does not occur. sent13: the non-Elizabethanness is caused by that the corruption happens or the quarantining ovule happens or both. sent14: the Bismarckianness does not occur or the broiling leasehold does not occur or both. sent15: that the Protestantness does not occur is brought about by the hap. sent16: the steps does not occur. sent17: that the quarantining ovule happens is not incorrect if that the tolerance does not occur and the healthiness does not occur is not correct. sent18: the fact that both the tolerance and the unhealthyness occurs is incorrect. sent19: that both the non-tannicness and the steadyness happens is incorrect. sent20: the sighting does not occur. ; $proof$ = 
void -> assump2: Let's assume that the tolerance occurs.; void -> assump1: Let's assume that the fact that the tolerance does not occur and the healthiness does not occur hold.; assump1 -> int1: the tolerance does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the tolerance does not occur and the healthiness does not occur is incorrect.; sent17 & int3 -> int4: the quarantining ovule happens.; int4 -> int5: the corruption or the quarantining ovule or both happens.; sent13 & int5 -> int6: the Elizabethan does not occur.; sent2 & int6 -> int7: the fact that the Bismarckianness does not occur or the broiling leasehold does not occur or both is false.; [assump2] & int7 -> hypothesis; __DISPROVED__