the majorsness happens.
sent1: the high-techness happens. sent2: the ogling foxhound does not occur and the conveying occurs if the high-techness occurs. sent3: that both the onomasticness and the high-techness occurs prevents the unairworthiness. sent4: if the trophotropicness does not occur that the ogling foxhound happens and the conveying occurs is not right. sent5: the fact that both the ogling foxhound and the conveying occurs is not true. sent6: the ogling foxhound does not occur if that the high-techness does not occur does not hold. sent7: the ogling foxhound does not occur. sent8: the shuffle does not occur if the fact that the non-Australasianness and the shuffle occurs is not correct. sent9: that the ace does not occur is prevented by the Bermudanness. sent10: the unairworthiness happens if the trophotropicness occurs. sent11: if the elimination occurs the fact that not the Australasianness but the shuffle occurs is not right. sent12: the unairworthiness prevents the non-majorsness. sent13: both the onomasticness and the high-techness occurs if the shuffling does not occur.
void -> assump1: Let's assume that the trophotropicness does not occur.; sent2 & sent1 -> int1: not the ogling foxhound but the conveying occurs.;
the majors does not occur.
$hypothesis$ = the majorsness happens. ; $context$ = sent1: the high-techness happens. sent2: the ogling foxhound does not occur and the conveying occurs if the high-techness occurs. sent3: that both the onomasticness and the high-techness occurs prevents the unairworthiness. sent4: if the trophotropicness does not occur that the ogling foxhound happens and the conveying occurs is not right. sent5: the fact that both the ogling foxhound and the conveying occurs is not true. sent6: the ogling foxhound does not occur if that the high-techness does not occur does not hold. sent7: the ogling foxhound does not occur. sent8: the shuffle does not occur if the fact that the non-Australasianness and the shuffle occurs is not correct. sent9: that the ace does not occur is prevented by the Bermudanness. sent10: the unairworthiness happens if the trophotropicness occurs. sent11: if the elimination occurs the fact that not the Australasianness but the shuffle occurs is not right. sent12: the unairworthiness prevents the non-majorsness. sent13: both the onomasticness and the high-techness occurs if the shuffling does not occur. ; $proof$ = 
void -> assump1: Let's assume that the trophotropicness does not occur.; sent2 & sent1 -> int1: not the ogling foxhound but the conveying occurs.; __UNKNOWN__