the fact that the overrunning Greece does not occur and the overprinting crew does not occur is not correct if the vice-presidency does not occur.
sent1: the overprinting Solomons happens. sent2: the fact that the whistling does not occur and the clinch does not occur is false. sent3: the thoughtfulness does not occur. sent4: that the distention does not occur hold if the fact that the thoughtfulness does not occur but the semifinal occurs does not hold. sent5: that not the thoughtfulness but the semifinal occurs results in the vice-presidency. sent6: if the distention does not occur the dose does not occur. sent7: that the animation does not occur leads to that the naturopathy does not occur and the antinomian does not occur. sent8: the fact that not the informalness but the ebbtide occurs is not correct. sent9: if the existing does not occur then the fact that the lesson but not the touring occurs is incorrect. sent10: if that the dose does not occur is correct then the fact that the overrunning Greece does not occur and the overprinting crew does not occur does not hold. sent11: if the distention occurs the fact that the Bolshevik does not occur and the becoming immorality does not occur is not right. sent12: if the fact that the overprinting saved does not occur and the analogy occurs is incorrect the gutsiness does not occur. sent13: the fact that the laxative does not occur but the overprinting compressor occurs does not hold if the overprinting labyrinth does not occur.
void -> assump1: Let's assume that that the thoughtfulness does not occur but the semifinal occurs is true.; sent5 & assump1 -> int1: the vice-presidency happens.; void -> assump2: Let's assume that the vice-presidency does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the thoughtfulness but the semifinal happens does not hold.; sent4 & int3 -> int4: the distention does not occur.; sent6 & int4 -> int5: the dosing does not occur.; sent10 & int5 -> int6: the fact that the overrunning Greece does not occur and the overprinting crew does not occur is not right.; [assump2] & int6 -> hypothesis;
that the Bolshevik does not occur and the becoming immorality does not occur is false.
$hypothesis$ = the fact that the overrunning Greece does not occur and the overprinting crew does not occur is not correct if the vice-presidency does not occur. ; $context$ = sent1: the overprinting Solomons happens. sent2: the fact that the whistling does not occur and the clinch does not occur is false. sent3: the thoughtfulness does not occur. sent4: that the distention does not occur hold if the fact that the thoughtfulness does not occur but the semifinal occurs does not hold. sent5: that not the thoughtfulness but the semifinal occurs results in the vice-presidency. sent6: if the distention does not occur the dose does not occur. sent7: that the animation does not occur leads to that the naturopathy does not occur and the antinomian does not occur. sent8: the fact that not the informalness but the ebbtide occurs is not correct. sent9: if the existing does not occur then the fact that the lesson but not the touring occurs is incorrect. sent10: if that the dose does not occur is correct then the fact that the overrunning Greece does not occur and the overprinting crew does not occur does not hold. sent11: if the distention occurs the fact that the Bolshevik does not occur and the becoming immorality does not occur is not right. sent12: if the fact that the overprinting saved does not occur and the analogy occurs is incorrect the gutsiness does not occur. sent13: the fact that the laxative does not occur but the overprinting compressor occurs does not hold if the overprinting labyrinth does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the thoughtfulness does not occur but the semifinal occurs is true.; sent5 & assump1 -> int1: the vice-presidency happens.; void -> assump2: Let's assume that the vice-presidency does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the thoughtfulness but the semifinal happens does not hold.; sent4 & int3 -> int4: the distention does not occur.; sent6 & int4 -> int5: the dosing does not occur.; sent10 & int5 -> int6: the fact that the overrunning Greece does not occur and the overprinting crew does not occur is not right.; [assump2] & int6 -> hypothesis; __PROVED__