the compacting blacksmith does not occur and the Jurassicness does not occur.
sent1: that the investigating reductase does not occur and the compacting blacksmith does not occur is caused by that the Jurassic happens. sent2: that the xerographicness happens prevents the non-meretriciousness. sent3: the record does not occur and the investigating reductase does not occur. sent4: the record does not occur. sent5: the non-Jurassicness or that the unmanliness occurs or both triggers that the Jurassicness does not occur. sent6: the waiving occurs if the undueness occurs. sent7: that the starvation does not occur or the prizing or both prevents that the starvation happens. sent8: either the Jurassicness occurs or the unmanliness occurs or both. sent9: either the Jurassicness does not occur or the unmanliness occurs or both. sent10: that the compacting acetate does not occur and the sparkling reboxetine happens triggers that the record does not occur. sent11: the subscript does not occur. sent12: the exercise occurs. sent13: the undueness happens and the pileup occurs if the subscriptness does not occur. sent14: the fact that the sparkling contingency does not occur is not false if the waiving and the non-antiferromagneticness occurs. sent15: the compacting methane does not occur. sent16: the antiferromagneticness does not occur if that the Guatemalan occurs but the uplandness does not occur is not right. sent17: not the compacting acetate but the sparkling reboxetine happens if the sparkling contingency does not occur. sent18: the investigating reductase happens if the compacting blacksmith occurs. sent19: the mark does not occur if the investigating reductase does not occur and the compacting blacksmith does not occur.
void -> assump1: Let's assume that the compacting blacksmith happens.; sent18 & assump1 -> int1: the investigating reductase happens.; sent3 -> int2: that the investigating reductase happens is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the compacting blacksmith does not occur is not false.; sent5 & sent9 -> int5: the Jurassicness does not occur.; int4 & int5 -> hypothesis;
the mark does not occur.
sent13 & sent11 -> int6: the undueness and the pileup happens.; int6 -> int7: the undueness occurs.; sent6 & int7 -> int8: the waiving occurs.;
$hypothesis$ = the compacting blacksmith does not occur and the Jurassicness does not occur. ; $context$ = sent1: that the investigating reductase does not occur and the compacting blacksmith does not occur is caused by that the Jurassic happens. sent2: that the xerographicness happens prevents the non-meretriciousness. sent3: the record does not occur and the investigating reductase does not occur. sent4: the record does not occur. sent5: the non-Jurassicness or that the unmanliness occurs or both triggers that the Jurassicness does not occur. sent6: the waiving occurs if the undueness occurs. sent7: that the starvation does not occur or the prizing or both prevents that the starvation happens. sent8: either the Jurassicness occurs or the unmanliness occurs or both. sent9: either the Jurassicness does not occur or the unmanliness occurs or both. sent10: that the compacting acetate does not occur and the sparkling reboxetine happens triggers that the record does not occur. sent11: the subscript does not occur. sent12: the exercise occurs. sent13: the undueness happens and the pileup occurs if the subscriptness does not occur. sent14: the fact that the sparkling contingency does not occur is not false if the waiving and the non-antiferromagneticness occurs. sent15: the compacting methane does not occur. sent16: the antiferromagneticness does not occur if that the Guatemalan occurs but the uplandness does not occur is not right. sent17: not the compacting acetate but the sparkling reboxetine happens if the sparkling contingency does not occur. sent18: the investigating reductase happens if the compacting blacksmith occurs. sent19: the mark does not occur if the investigating reductase does not occur and the compacting blacksmith does not occur. ; $proof$ = 
void -> assump1: Let's assume that the compacting blacksmith happens.; sent18 & assump1 -> int1: the investigating reductase happens.; sent3 -> int2: that the investigating reductase happens is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the compacting blacksmith does not occur is not false.; sent5 & sent9 -> int5: the Jurassicness does not occur.; int4 & int5 -> hypothesis; __PROVED__