the Tongan does not occur.
sent1: if the fact that not the numbering dehydration but the antipodal happens is not right the antipodal does not occur. sent2: the fact that the slinking linesman happens and the Tonganness happens is not true if the misbehavior does not occur. sent3: the Nauruan occurs if the slinking parrot occurs. sent4: that the marbling sack does not occur but the slinking linesman occurs is incorrect. sent5: if the excursion occurs then the Belgianness occurs. sent6: if the marbling dessert occurs that the misbehavior occurs and the marbling sack does not occur is false. sent7: the numbering hug occurs. sent8: the pooling amputee occurs. sent9: if the misbehavior does not occur the Tongan occurs and the slinking linesman happens. sent10: that the consolidating does not occur yields that both the crackling and the marbling dessert occurs. sent11: if the fact that the slinking linesman occurs and the Tonganness happens does not hold then the basketry does not occur. sent12: the fact that not the reorientation but the pinball occurs does not hold. sent13: if that not the marbling sack but the slinking linesman happens is incorrect the slinking linesman does not occur.
void -> assump1: Let's assume that the Tonganness occurs.; sent13 & sent4 -> int1: the slinking linesman does not occur.;
the basketry does not occur.
$hypothesis$ = the Tongan does not occur. ; $context$ = sent1: if the fact that not the numbering dehydration but the antipodal happens is not right the antipodal does not occur. sent2: the fact that the slinking linesman happens and the Tonganness happens is not true if the misbehavior does not occur. sent3: the Nauruan occurs if the slinking parrot occurs. sent4: that the marbling sack does not occur but the slinking linesman occurs is incorrect. sent5: if the excursion occurs then the Belgianness occurs. sent6: if the marbling dessert occurs that the misbehavior occurs and the marbling sack does not occur is false. sent7: the numbering hug occurs. sent8: the pooling amputee occurs. sent9: if the misbehavior does not occur the Tongan occurs and the slinking linesman happens. sent10: that the consolidating does not occur yields that both the crackling and the marbling dessert occurs. sent11: if the fact that the slinking linesman occurs and the Tonganness happens does not hold then the basketry does not occur. sent12: the fact that not the reorientation but the pinball occurs does not hold. sent13: if that not the marbling sack but the slinking linesman happens is incorrect the slinking linesman does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Tonganness occurs.; sent13 & sent4 -> int1: the slinking linesman does not occur.; __UNKNOWN__