the scholasticness occurs if the carpellateness occurs.
sent1: if the fact that the fact that the reversal happens does not hold is right the short-orderness happens. sent2: the irregularity happens and the cahoot happens. sent3: that the cuckoldry happens is correct. sent4: the sexiness and the bell happens if the arborealness does not occur. sent5: the damages does not occur. sent6: the cahoot happens. sent7: that the reversal does not occur is triggered by that the awfulness happens and the carpellateness happens. sent8: the vignette happens and the cocooning occurs. sent9: if the kittee happens then the Rhenish occurs. sent10: the short-orderness happens and the scholasticness occurs if the reversal does not occur. sent11: the awfulness does not occur and the dogmatizing transpiration occurs if the carpellateness does not occur. sent12: the bustling and the differential happens if the engendering does not occur. sent13: the short-orderness happens.
the dogmatizing transpiration happens.
$hypothesis$ = the scholasticness occurs if the carpellateness occurs. ; $context$ = sent1: if the fact that the fact that the reversal happens does not hold is right the short-orderness happens. sent2: the irregularity happens and the cahoot happens. sent3: that the cuckoldry happens is correct. sent4: the sexiness and the bell happens if the arborealness does not occur. sent5: the damages does not occur. sent6: the cahoot happens. sent7: that the reversal does not occur is triggered by that the awfulness happens and the carpellateness happens. sent8: the vignette happens and the cocooning occurs. sent9: if the kittee happens then the Rhenish occurs. sent10: the short-orderness happens and the scholasticness occurs if the reversal does not occur. sent11: the awfulness does not occur and the dogmatizing transpiration occurs if the carpellateness does not occur. sent12: the bustling and the differential happens if the engendering does not occur. sent13: the short-orderness happens. ; $proof$ = 
__UNKNOWN__