if the fact that the pleating sculptress does not occur is true the coherentness happens and the discourse happens.
sent1: if the pleating sculptress occurs then the anaphrodisiacness happens. sent2: that both the abstinence and the non-menopausalness happens is not true if the fact that the pleating sculptress does not occur is right. sent3: the poise occurs. sent4: the coherentness happens if the fact that that the abstinence and the non-menopausalness occurs is not incorrect does not hold. sent5: the pituitary but not the scrunch happens.
void -> assump1: Let's assume that the pleating sculptress does not occur.; sent2 & assump1 -> int1: that the abstinence happens but the menopausalness does not occur is wrong.; int1 & sent4 -> int2: the coherentness happens.; sent5 -> int3: the pituitary occurs.;
the anaphrodisiacness but not the attachableness happens.
$hypothesis$ = if the fact that the pleating sculptress does not occur is true the coherentness happens and the discourse happens. ; $context$ = sent1: if the pleating sculptress occurs then the anaphrodisiacness happens. sent2: that both the abstinence and the non-menopausalness happens is not true if the fact that the pleating sculptress does not occur is right. sent3: the poise occurs. sent4: the coherentness happens if the fact that that the abstinence and the non-menopausalness occurs is not incorrect does not hold. sent5: the pituitary but not the scrunch happens. ; $proof$ = 
void -> assump1: Let's assume that the pleating sculptress does not occur.; sent2 & assump1 -> int1: that the abstinence happens but the menopausalness does not occur is wrong.; int1 & sent4 -> int2: the coherentness happens.; sent5 -> int3: the pituitary occurs.; __UNKNOWN__