if the fact that the flimsiness occurs hold that that either the lactealness does not occur or the Moorishness does not occur or both is true is not correct.
sent1: the littering causes the tonsure. sent2: the mound does not occur if that both the mound and the liner happens is not true. sent3: that the mound and the liner happens is not true if the awnlessness does not occur. sent4: the flimsiness does not occur if the liner and/or the awnlessness occurs.
void -> assump1: Let's assume that the flimsiness occurs.; void -> assump2: Let's assume that that the liner occurs is not incorrect.; assump2 -> int1: the liner happens and/or the awnlessness happens.; sent4 & int1 -> int2: the fact that the flimsiness does not occur hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the liner does not occur.;
the mound does not occur.
$hypothesis$ = if the fact that the flimsiness occurs hold that that either the lactealness does not occur or the Moorishness does not occur or both is true is not correct. ; $context$ = sent1: the littering causes the tonsure. sent2: the mound does not occur if that both the mound and the liner happens is not true. sent3: that the mound and the liner happens is not true if the awnlessness does not occur. sent4: the flimsiness does not occur if the liner and/or the awnlessness occurs. ; $proof$ = 
void -> assump1: Let's assume that the flimsiness occurs.; void -> assump2: Let's assume that that the liner occurs is not incorrect.; assump2 -> int1: the liner happens and/or the awnlessness happens.; sent4 & int1 -> int2: the fact that the flimsiness does not occur hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the liner does not occur.; __UNKNOWN__