the portableness does not occur.
sent1: that the phrasing does not occur is brought about by that the hatching trammel does not occur. sent2: the hatching hazelnut occurs and the high occurs. sent3: that not the phrase but the gravure happens prevents the portableness. sent4: the phrasing does not occur if that the hatching trammel occurs and the clinching autograft happens does not hold. sent5: that the tetanus does not occur hold. sent6: the implacableness and the detriment occurs if that the parametricness occurs does not hold. sent7: the high happens. sent8: the hazard does not occur if the fact that the detriment does not occur is correct. sent9: if that the hatching trammel does not occur hold then the hatching hazelnut occurs and the hazard happens. sent10: the hatching hazelnut does not occur if both the detriment and the parametricness occurs. sent11: the gravure occurs. sent12: if the gravure does not occur that the phrase and the clinching autograft occurs is not true. sent13: if the hazard does not occur the fact that the hatching trammel happens and the clinching autograft occurs is false.
void -> assump1: Let's assume that the detriment occurs.; sent2 -> int1: the hatching hazelnut happens.;
the implacableness occurs.
$hypothesis$ = the portableness does not occur. ; $context$ = sent1: that the phrasing does not occur is brought about by that the hatching trammel does not occur. sent2: the hatching hazelnut occurs and the high occurs. sent3: that not the phrase but the gravure happens prevents the portableness. sent4: the phrasing does not occur if that the hatching trammel occurs and the clinching autograft happens does not hold. sent5: that the tetanus does not occur hold. sent6: the implacableness and the detriment occurs if that the parametricness occurs does not hold. sent7: the high happens. sent8: the hazard does not occur if the fact that the detriment does not occur is correct. sent9: if that the hatching trammel does not occur hold then the hatching hazelnut occurs and the hazard happens. sent10: the hatching hazelnut does not occur if both the detriment and the parametricness occurs. sent11: the gravure occurs. sent12: if the gravure does not occur that the phrase and the clinching autograft occurs is not true. sent13: if the hazard does not occur the fact that the hatching trammel happens and the clinching autograft occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the detriment occurs.; sent2 -> int1: the hatching hazelnut happens.; __UNKNOWN__