there exists something such that it does not blind Arauca.
sent1: that the dimorphism is a crossover and it does blind Alaric does not hold. sent2: the dimorphism does not blind collusion. sent3: something is not gutless. sent4: the fact that something is not a kind of a dish but it does blind Alaric is incorrect if it does not mediate. sent5: there exists something such that it does blind Arauca. sent6: that the fieldworker is not Napoleonic but it blinds Arauca is wrong. sent7: the chromatography is not a crossover. sent8: the scrapple does not insinuate. sent9: if that the scrapple does not blind Arauca but it blinds Alaric is not right the dimorphism is not a crossover. sent10: the scrapple is not a kind of a crossover if that the dimorphism does not blind Arauca and does blind Alaric does not hold. sent11: something does not blind Alaric. sent12: if the dimorphism is a crossover the scrapple does not blind Arauca. sent13: if the fact that the scrapple does not blind Alaric and does blind Arauca is wrong the dimorphism is not a crossover. sent14: there is something such that it is not symphonic. sent15: the dimorphism does not blind Alaric if the fact that the scrapple is not a crossover and blinds Arauca is incorrect. sent16: that the scrapple does not blind Alaric and blinds Arauca is not correct. sent17: the fact that the scrapple does not blind Arauca and is a kind of a crossover is wrong. sent18: if that the dimorphism is not a crossover but it does blind Alaric is not correct the scrapple does not blind Arauca. sent19: if that the dimorphism does not blind Alaric and blinds Arauca is not right the scrapple is not a crossover.
the fact that the andrena does not dish but it blinds Alaric does not hold.
sent4 -> int1: the fact that the dimorphism does not dish and blinds Alaric does not hold if it does not mediate.;
$hypothesis$ = there exists something such that it does not blind Arauca. ; $context$ = sent1: that the dimorphism is a crossover and it does blind Alaric does not hold. sent2: the dimorphism does not blind collusion. sent3: something is not gutless. sent4: the fact that something is not a kind of a dish but it does blind Alaric is incorrect if it does not mediate. sent5: there exists something such that it does blind Arauca. sent6: that the fieldworker is not Napoleonic but it blinds Arauca is wrong. sent7: the chromatography is not a crossover. sent8: the scrapple does not insinuate. sent9: if that the scrapple does not blind Arauca but it blinds Alaric is not right the dimorphism is not a crossover. sent10: the scrapple is not a kind of a crossover if that the dimorphism does not blind Arauca and does blind Alaric does not hold. sent11: something does not blind Alaric. sent12: if the dimorphism is a crossover the scrapple does not blind Arauca. sent13: if the fact that the scrapple does not blind Alaric and does blind Arauca is wrong the dimorphism is not a crossover. sent14: there is something such that it is not symphonic. sent15: the dimorphism does not blind Alaric if the fact that the scrapple is not a crossover and blinds Arauca is incorrect. sent16: that the scrapple does not blind Alaric and blinds Arauca is not correct. sent17: the fact that the scrapple does not blind Arauca and is a kind of a crossover is wrong. sent18: if that the dimorphism is not a crossover but it does blind Alaric is not correct the scrapple does not blind Arauca. sent19: if that the dimorphism does not blind Alaric and blinds Arauca is not right the scrapple is not a crossover. ; $proof$ = 
__UNKNOWN__