the fact that the diadromousness occurs hold if the paranormalness occurs.
sent1: the diadromousness occurs if the congruentness occurs. sent2: the paranormalness does not occur if the synchronization does not occur. sent3: the consolidation happens. sent4: the Hippocraticness happens. sent5: that the congruentness happens and/or the paranormalness occurs is brought about by that the diadromousness does not occur. sent6: the fact that the fact that the malignness and the road happens is wrong hold if the anterogradeness does not occur. sent7: if the mooing happens then the clustering occurs. sent8: that the synchronization happens and the prizefighting occurs is not right if that the congruentness does not occur is not incorrect. sent9: that the beautifulness happens is not incorrect if the fact that the refacing clavier occurs and the audibleness happens does not hold.
void -> assump1: Let's assume that the paranormalness occurs.; void -> assump2: Let's assume that the congruentness does not occur.; sent8 & assump2 -> int1: the fact that the synchronization and the prizefight happens is incorrect.;
the servicing whizbang happens.
$hypothesis$ = the fact that the diadromousness occurs hold if the paranormalness occurs. ; $context$ = sent1: the diadromousness occurs if the congruentness occurs. sent2: the paranormalness does not occur if the synchronization does not occur. sent3: the consolidation happens. sent4: the Hippocraticness happens. sent5: that the congruentness happens and/or the paranormalness occurs is brought about by that the diadromousness does not occur. sent6: the fact that the fact that the malignness and the road happens is wrong hold if the anterogradeness does not occur. sent7: if the mooing happens then the clustering occurs. sent8: that the synchronization happens and the prizefighting occurs is not right if that the congruentness does not occur is not incorrect. sent9: that the beautifulness happens is not incorrect if the fact that the refacing clavier occurs and the audibleness happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the paranormalness occurs.; void -> assump2: Let's assume that the congruentness does not occur.; sent8 & assump2 -> int1: the fact that the synchronization and the prizefight happens is incorrect.; __UNKNOWN__