the Faustianness does not occur if the fawn happens.
sent1: the Waterloo does not occur. sent2: if the fact that the Christian does not occur and the maintaining sit-up does not occur is wrong then the demagnetizing Guiana does not occur. sent3: if the fact that the fawn happens but the Waterloo does not occur is incorrect then the Faustianness does not occur. sent4: the painting does not occur and the pro-lifeness does not occur. sent5: the gnarling does not occur. sent6: the fact that if the Waterloo happens the salivariness does not occur and the fawn does not occur is right. sent7: the Waterloo results in that the Faustianness does not occur. sent8: the fawning happens and the Waterloo does not occur. sent9: the Faustianness does not occur if the fawn does not occur and the Waterloo does not occur.
void -> assump1: Let's assume that the fawn does not occur and the Waterloo does not occur.; assump1 -> int1: the fawning does not occur.; void -> assump2: Let's assume that the fact that the fawn happens hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fawning does not occur and the Waterloo does not occur is not right.;
the salivariness does not occur.
$hypothesis$ = the Faustianness does not occur if the fawn happens. ; $context$ = sent1: the Waterloo does not occur. sent2: if the fact that the Christian does not occur and the maintaining sit-up does not occur is wrong then the demagnetizing Guiana does not occur. sent3: if the fact that the fawn happens but the Waterloo does not occur is incorrect then the Faustianness does not occur. sent4: the painting does not occur and the pro-lifeness does not occur. sent5: the gnarling does not occur. sent6: the fact that if the Waterloo happens the salivariness does not occur and the fawn does not occur is right. sent7: the Waterloo results in that the Faustianness does not occur. sent8: the fawning happens and the Waterloo does not occur. sent9: the Faustianness does not occur if the fawn does not occur and the Waterloo does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fawn does not occur and the Waterloo does not occur.; assump1 -> int1: the fawning does not occur.; void -> assump2: Let's assume that the fact that the fawn happens hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fawning does not occur and the Waterloo does not occur is not right.; __UNKNOWN__