that the reshipment occurs is correct.
sent1: if the unimpressiveness does not occur the fact that the prey does not occur and the taming moldboard happens is wrong. sent2: the unidimensionalness occurs. sent3: that the Zaireanness occurs is prevented by that the bridalness and the acculturationalness occurs. sent4: if the shrinking mere does not occur then not the preying but the taming moldboard happens. sent5: if the Alexandrian does not occur then the runoff happens and the unidimensionalness occurs. sent6: that the taming hyphema occurs brings about that the iambicness occurs. sent7: the fact that either that the reshipment occurs or that the anecdotalness does not occur or both leads to that the reshipment happens is true. sent8: the unimpressiveness does not occur. sent9: that the murmuring catechumen and the pharmacologicalness happens is false if the anecdotalness does not occur. sent10: the fact that both the unimpressiveness and the Alexandrianness occurs is incorrect if the acculturationalness does not occur. sent11: that the reshipment happens is prevented by that both the anecdotalness and the runoff occurs. sent12: if that both the murmuring catechumen and the pharmacologicalness happens is false the shrinking mere does not occur. sent13: that if the iambic occurs the acculturationalness does not occur and the Transportation does not occur is not false. sent14: if the runoff does not occur and/or the unidimensionalness does not occur the preying does not occur. sent15: the monotypicness does not occur. sent16: the Alexandrianness does not occur. sent17: the taming hyphema or the modality or both occurs if the monotypicness does not occur. sent18: the shrinking mere does not occur if the pharmacologicalness does not occur.
void -> assump1: Let's assume that the anecdotalness does not occur.; sent9 & assump1 -> int1: that the murmuring catechumen and the pharmacologicalness happens is not right.; int1 & sent12 -> int2: the shrinking mere does not occur.; int2 & sent4 -> int3: not the prey but the taming moldboard occurs.; sent1 & sent8 -> int4: the fact that the preying does not occur and the taming moldboard happens is not correct.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the anecdotalness occurs.; sent5 & sent16 -> int7: the runoff happens and the unidimensionalness happens.; int7 -> int8: the runoff occurs.; int6 & int8 -> int9: the anecdotalness occurs and the runoff happens.; int9 & sent11 -> hypothesis;
the reshipment occurs.
sent17 & sent15 -> int10: the taming hyphema and/or the modality occurs.;
$hypothesis$ = that the reshipment occurs is correct. ; $context$ = sent1: if the unimpressiveness does not occur the fact that the prey does not occur and the taming moldboard happens is wrong. sent2: the unidimensionalness occurs. sent3: that the Zaireanness occurs is prevented by that the bridalness and the acculturationalness occurs. sent4: if the shrinking mere does not occur then not the preying but the taming moldboard happens. sent5: if the Alexandrian does not occur then the runoff happens and the unidimensionalness occurs. sent6: that the taming hyphema occurs brings about that the iambicness occurs. sent7: the fact that either that the reshipment occurs or that the anecdotalness does not occur or both leads to that the reshipment happens is true. sent8: the unimpressiveness does not occur. sent9: that the murmuring catechumen and the pharmacologicalness happens is false if the anecdotalness does not occur. sent10: the fact that both the unimpressiveness and the Alexandrianness occurs is incorrect if the acculturationalness does not occur. sent11: that the reshipment happens is prevented by that both the anecdotalness and the runoff occurs. sent12: if that both the murmuring catechumen and the pharmacologicalness happens is false the shrinking mere does not occur. sent13: that if the iambic occurs the acculturationalness does not occur and the Transportation does not occur is not false. sent14: if the runoff does not occur and/or the unidimensionalness does not occur the preying does not occur. sent15: the monotypicness does not occur. sent16: the Alexandrianness does not occur. sent17: the taming hyphema or the modality or both occurs if the monotypicness does not occur. sent18: the shrinking mere does not occur if the pharmacologicalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the anecdotalness does not occur.; sent9 & assump1 -> int1: that the murmuring catechumen and the pharmacologicalness happens is not right.; int1 & sent12 -> int2: the shrinking mere does not occur.; int2 & sent4 -> int3: not the prey but the taming moldboard occurs.; sent1 & sent8 -> int4: the fact that the preying does not occur and the taming moldboard happens is not correct.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the anecdotalness occurs.; sent5 & sent16 -> int7: the runoff happens and the unidimensionalness happens.; int7 -> int8: the runoff occurs.; int6 & int8 -> int9: the anecdotalness occurs and the runoff happens.; int9 & sent11 -> hypothesis; __DISPROVED__