that the statuary does not occur causes that the wavering does not occur and the deniableness occurs.
sent1: the coating adrenal and the deniableness happens. sent2: if the trivializing Cook happens not the handling but the liner happens. sent3: the flakiness happens. sent4: that if that the Saturnalia happens and the trivializing holdover does not occur is not right the trivializing pomfret does not occur is right. sent5: the cohabitation occurs. sent6: the fact that that the statuary occurs but the trivializing Ensete does not occur is true causes that the wavering does not occur.
void -> assump1: Let's assume that the statuary but not the trivializing Ensete occurs.; assump1 -> int1: the statuariness happens.; void -> assump2: Let's assume that the statuariness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the statuary but not the trivializing Ensete happens does not hold.; sent1 -> int4: the deniableness occurs.;
$hypothesis$ = that the statuary does not occur causes that the wavering does not occur and the deniableness occurs. ; $context$ = sent1: the coating adrenal and the deniableness happens. sent2: if the trivializing Cook happens not the handling but the liner happens. sent3: the flakiness happens. sent4: that if that the Saturnalia happens and the trivializing holdover does not occur is not right the trivializing pomfret does not occur is right. sent5: the cohabitation occurs. sent6: the fact that that the statuary occurs but the trivializing Ensete does not occur is true causes that the wavering does not occur. ; $proof$ = 
void -> assump1: Let's assume that the statuary but not the trivializing Ensete occurs.; assump1 -> int1: the statuariness happens.; void -> assump2: Let's assume that the statuariness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the statuary but not the trivializing Ensete happens does not hold.; sent1 -> int4: the deniableness occurs.; __UNKNOWN__