the duplicity happens if the pleasure occurs.
sent1: if the fact that the foaling jujube happens but the squinch does not occur is not true the pleasure does not occur. sent2: the fact that the foaling jujube occurs and the squinch happens does not hold. sent3: the pleasure does not occur if the squinching happens. sent4: the fact that the foaling jujube occurs but the squinch does not occur is not correct if the fact that the duplicity happens is true. sent5: if the duplicity does not occur that both the foaling jujube and the squinching occurs is not true.
void -> assump1: Let's assume that the pleasure occurs.;
$hypothesis$ = the duplicity happens if the pleasure occurs. ; $context$ = sent1: if the fact that the foaling jujube happens but the squinch does not occur is not true the pleasure does not occur. sent2: the fact that the foaling jujube occurs and the squinch happens does not hold. sent3: the pleasure does not occur if the squinching happens. sent4: the fact that the foaling jujube occurs but the squinch does not occur is not correct if the fact that the duplicity happens is true. sent5: if the duplicity does not occur that both the foaling jujube and the squinching occurs is not true. ; $proof$ = 
void -> assump1: Let's assume that the pleasure occurs.; __UNKNOWN__