that that the dredge gallivants and does purse pervert hold is incorrect.
sent1: something is a acetamide. sent2: that if there exists something such that it is not a acetamide the cosmologist does determine cosmologist is true. sent3: if there exists something such that it is not a kind of a acetamide that either the cosmologist does not determine cosmologist or it does not determine searcher or both is false. sent4: there exists something such that it is not a acetamide. sent5: the cosmologist determines cosmologist. sent6: if that that the cosmologist determines cosmologist and/or it does not purse pervert is not false does not hold then the dredge does not gallivant. sent7: if the claimant does not purse pervert that the dredge does gallivant and purse pervert is wrong.
sent4 & sent3 -> int1: the fact that that the cosmologist does not determine cosmologist and/or it does not determine searcher is not correct is true.;
$hypothesis$ = that that the dredge gallivants and does purse pervert hold is incorrect. ; $context$ = sent1: something is a acetamide. sent2: that if there exists something such that it is not a acetamide the cosmologist does determine cosmologist is true. sent3: if there exists something such that it is not a kind of a acetamide that either the cosmologist does not determine cosmologist or it does not determine searcher or both is false. sent4: there exists something such that it is not a acetamide. sent5: the cosmologist determines cosmologist. sent6: if that that the cosmologist determines cosmologist and/or it does not purse pervert is not false does not hold then the dredge does not gallivant. sent7: if the claimant does not purse pervert that the dredge does gallivant and purse pervert is wrong. ; $proof$ = 
sent4 & sent3 -> int1: the fact that that the cosmologist does not determine cosmologist and/or it does not determine searcher is not correct is true.; __UNKNOWN__