the Grace does not occur if that the hefting Lomotil occurs and the draw does not occur does not hold.
sent1: the Grace happens. sent2: that the Grace does not occur is brought about by that the Freudianness does not occur and the latheriness happens. sent3: the self-help occurs. sent4: the Grace happens if the non-Freudianness and the latheriness occurs. sent5: that the Freudian does not occur hold if not the hefting Lomotil but the postdoctoral happens. sent6: if the fact that the hefting Lomotil but not the drawing happens is wrong the Grace occurs. sent7: the postdoctoral happens. sent8: the draw does not occur. sent9: that the monopolization does not occur leads to that both the self-help and the latheriness occurs.
void -> assump2: Let's assume that the hefting Lomotil happens.; assump2 & sent8 -> int1: the hefting Lomotil but not the drawing occurs.; void -> assump1: Let's assume that the fact that the hefting Lomotil happens but the drawing does not occur does not hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hefting Lomotil does not occur.; int3 & sent7 -> int4: the hefting Lomotil does not occur and the postdoctoral happens.; int4 & sent5 -> int5: that the Freudian does not occur is not incorrect.;
$hypothesis$ = the Grace does not occur if that the hefting Lomotil occurs and the draw does not occur does not hold. ; $context$ = sent1: the Grace happens. sent2: that the Grace does not occur is brought about by that the Freudianness does not occur and the latheriness happens. sent3: the self-help occurs. sent4: the Grace happens if the non-Freudianness and the latheriness occurs. sent5: that the Freudian does not occur hold if not the hefting Lomotil but the postdoctoral happens. sent6: if the fact that the hefting Lomotil but not the drawing happens is wrong the Grace occurs. sent7: the postdoctoral happens. sent8: the draw does not occur. sent9: that the monopolization does not occur leads to that both the self-help and the latheriness occurs. ; $proof$ = 
void -> assump2: Let's assume that the hefting Lomotil happens.; assump2 & sent8 -> int1: the hefting Lomotil but not the drawing occurs.; void -> assump1: Let's assume that the fact that the hefting Lomotil happens but the drawing does not occur does not hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the hefting Lomotil does not occur.; int3 & sent7 -> int4: the hefting Lomotil does not occur and the postdoctoral happens.; int4 & sent5 -> int5: that the Freudian does not occur is not incorrect.; __UNKNOWN__