the dogfight prevents that the smiling occurs.
sent1: the dating price happens. sent2: if the coloring does not occur then the fact that not the behalf but the mercurialness happens does not hold. sent3: the uttering midge occurs. sent4: the smiling does not occur if the spiritualization occurs and the dogfighting happens. sent5: if the dating price happens the behalf does not occur. sent6: the smiling occurs. sent7: that the coloringness happens brings about the spiritualization.
void -> assump2: Let's assume that the coloringness does not occur.; sent2 & assump2 -> int1: that not the behalf but the mercurialness occurs is not true.;
$hypothesis$ = the dogfight prevents that the smiling occurs. ; $context$ = sent1: the dating price happens. sent2: if the coloring does not occur then the fact that not the behalf but the mercurialness happens does not hold. sent3: the uttering midge occurs. sent4: the smiling does not occur if the spiritualization occurs and the dogfighting happens. sent5: if the dating price happens the behalf does not occur. sent6: the smiling occurs. sent7: that the coloringness happens brings about the spiritualization. ; $proof$ = 
void -> assump2: Let's assume that the coloringness does not occur.; sent2 & assump2 -> int1: that not the behalf but the mercurialness occurs is not true.; __UNKNOWN__