the perinasalness and the smart happens.
sent1: the righteousness occurs. sent2: if the misrepresentation happens the escort occurs. sent3: that either the righteousness does not occur or the misrepresentation does not occur or both is wrong. sent4: if the gauging strip does not occur the smartness happens. sent5: either the righteousness happens or the misrepresentation does not occur or both. sent6: the overawing Dewey does not occur if the gauging tradeoff happens. sent7: the parenteralness does not occur. sent8: if the righteousness does not occur then that that the perinasalness happens and the smart happens is true is not true. sent9: the perinasalness is caused by that the escort happens. sent10: if the fact that the overawing Dewey does not occur is not wrong then that the gauging strip but not the gauging Steen happens is not correct. sent11: if the fact that the gauging strip occurs and the gauging Steen does not occur does not hold the gauging strip does not occur. sent12: the gauging tradeoff happens.
void -> assump1: Let's assume that the misrepresentation does not occur.; assump1 -> int1: the righteousness does not occur and/or the misrepresentation does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the misrepresentation occurs.; int3 & sent2 -> int4: that the escort occurs hold.; int4 & sent9 -> int5: the perinasalness occurs.; sent6 & sent12 -> int6: the overawing Dewey does not occur.; sent10 & int6 -> int7: the fact that the gauging strip occurs and the gauging Steen does not occur is not correct.; sent11 & int7 -> int8: the gauging strip does not occur.; sent4 & int8 -> int9: the smartness occurs.; int5 & int9 -> hypothesis;
that both the perinasalness and the smartness happens is incorrect.
$hypothesis$ = the perinasalness and the smart happens. ; $context$ = sent1: the righteousness occurs. sent2: if the misrepresentation happens the escort occurs. sent3: that either the righteousness does not occur or the misrepresentation does not occur or both is wrong. sent4: if the gauging strip does not occur the smartness happens. sent5: either the righteousness happens or the misrepresentation does not occur or both. sent6: the overawing Dewey does not occur if the gauging tradeoff happens. sent7: the parenteralness does not occur. sent8: if the righteousness does not occur then that that the perinasalness happens and the smart happens is true is not true. sent9: the perinasalness is caused by that the escort happens. sent10: if the fact that the overawing Dewey does not occur is not wrong then that the gauging strip but not the gauging Steen happens is not correct. sent11: if the fact that the gauging strip occurs and the gauging Steen does not occur does not hold the gauging strip does not occur. sent12: the gauging tradeoff happens. ; $proof$ = 
void -> assump1: Let's assume that the misrepresentation does not occur.; assump1 -> int1: the righteousness does not occur and/or the misrepresentation does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the misrepresentation occurs.; int3 & sent2 -> int4: that the escort occurs hold.; int4 & sent9 -> int5: the perinasalness occurs.; sent6 & sent12 -> int6: the overawing Dewey does not occur.; sent10 & int6 -> int7: the fact that the gauging strip occurs and the gauging Steen does not occur is not correct.; sent11 & int7 -> int8: the gauging strip does not occur.; sent4 & int8 -> int9: the smartness occurs.; int5 & int9 -> hypothesis; __PROVED__