there exists something such that if it does not dissimilate Gasterophilidae it is not a locus.
sent1: the lobscouse is non-external if it is a locus. sent2: there is something such that if it is a stalemate then it is not abbatial. sent3: if the oxide does not dissimilate Gasterophilidae it is a locus. sent4: if the oxide does not flame it is not a locus. sent5: there is something such that if it is hilar then it is not evaporative. sent6: if something does not hedge COMINT that it is a locus and does dissimilate Gasterophilidae does not hold. sent7: the virino is a stalemate if it does not dissimilate Gasterophilidae. sent8: the oxide is not a sunfish if it is a kind of a locus. sent9: if the fact that something is a locus and dissimilates Gasterophilidae is not correct then it does not dissimilates Gasterophilidae. sent10: the shoring is a kind of a microspore if it is not a locus. sent11: there is something such that if it does not dissimilate telegram it is not entozoan. sent12: there exists something such that if it is unswept it does not fritter activation. sent13: there is something such that if it does not twig then it is not a vasoconstriction. sent14: if the oxide is not ascomycetous then it is dumpy and restores bandoneon.
void -> assump2: Let's assume that the oxide is a locus.;
the Orange does not dissimilate Gasterophilidae.
sent9 -> int1: the Orange does not dissimilate Gasterophilidae if the fact that it is a kind of a locus that does dissimilate Gasterophilidae is false.; sent6 -> int2: that the Orange is a kind of a locus that dissimilates Gasterophilidae does not hold if it does not hedge COMINT.;
$hypothesis$ = there exists something such that if it does not dissimilate Gasterophilidae it is not a locus. ; $context$ = sent1: the lobscouse is non-external if it is a locus. sent2: there is something such that if it is a stalemate then it is not abbatial. sent3: if the oxide does not dissimilate Gasterophilidae it is a locus. sent4: if the oxide does not flame it is not a locus. sent5: there is something such that if it is hilar then it is not evaporative. sent6: if something does not hedge COMINT that it is a locus and does dissimilate Gasterophilidae does not hold. sent7: the virino is a stalemate if it does not dissimilate Gasterophilidae. sent8: the oxide is not a sunfish if it is a kind of a locus. sent9: if the fact that something is a locus and dissimilates Gasterophilidae is not correct then it does not dissimilates Gasterophilidae. sent10: the shoring is a kind of a microspore if it is not a locus. sent11: there is something such that if it does not dissimilate telegram it is not entozoan. sent12: there exists something such that if it is unswept it does not fritter activation. sent13: there is something such that if it does not twig then it is not a vasoconstriction. sent14: if the oxide is not ascomycetous then it is dumpy and restores bandoneon. ; $proof$ = 
void -> assump2: Let's assume that the oxide is a locus.; __UNKNOWN__