the trooping Champlain does not occur if the hircineness does not occur.
sent1: that the flitting does not occur and the empiricness does not occur is brought about by that the retrial occurs. sent2: the fact that the nontechnicalness happens hold if the five-hitter does not occur. sent3: the trooping Champlain does not occur if that the Cameroonian and the pop-up occurs does not hold. sent4: if the trooping Champlain does not occur and the hircineness does not occur then the alliterating does not occur. sent5: if the fact that the validation happens and the contemptibleness occurs is wrong the orientation happens. sent6: the skimming does not occur and the athleticness does not occur if the fact that the flit does not occur is correct. sent7: that the skimming does not occur brings about that the trooping Champlain does not occur and the hircineness does not occur. sent8: the trooping Champlain happens if the fact that both the Cameroonian and the pop-up occurs is not right. sent9: that the catachresticness does not occur causes that both the undemonstrativeness and the retrial occurs.
the alliterating does not occur.
$hypothesis$ = the trooping Champlain does not occur if the hircineness does not occur. ; $context$ = sent1: that the flitting does not occur and the empiricness does not occur is brought about by that the retrial occurs. sent2: the fact that the nontechnicalness happens hold if the five-hitter does not occur. sent3: the trooping Champlain does not occur if that the Cameroonian and the pop-up occurs does not hold. sent4: if the trooping Champlain does not occur and the hircineness does not occur then the alliterating does not occur. sent5: if the fact that the validation happens and the contemptibleness occurs is wrong the orientation happens. sent6: the skimming does not occur and the athleticness does not occur if the fact that the flit does not occur is correct. sent7: that the skimming does not occur brings about that the trooping Champlain does not occur and the hircineness does not occur. sent8: the trooping Champlain happens if the fact that both the Cameroonian and the pop-up occurs is not right. sent9: that the catachresticness does not occur causes that both the undemonstrativeness and the retrial occurs. ; $proof$ = 
__UNKNOWN__