the oviduct is a kind of non-low-tension thing that is quadrangular if the timecard does discriminate.
sent1: the oviduct is quadrangular if the timecard discriminates. sent2: if something is a kind of a Yoruba that it is a deprecation and it is not low-tension does not hold. sent3: everything is apologetics. sent4: the oviduct is quadrangular. sent5: the fact that if there is something such that it is a kind of a aril the oviduct is not low-tension but quadrangular is true. sent6: the oviduct is quadrangular if something is a kind of a aril. sent7: the coxswain does protest holster if there is something such that the fact that it does not protest holster and is not a subtracter is not right. sent8: if the timecard is not non-quadrangular the fact that the oviduct is not a kind of a aril and it is not discriminating does not hold. sent9: there are discriminating things. sent10: if the coxswain protests holster the domain is a kind of a Yoruba. sent11: if that the domain is a deprecation but it is not low-tension is wrong then the timecard is quadrangular. sent12: the oviduct is low-tension and quadrangular if the timecard does discriminate. sent13: the fact that something does not protest holster and is not a kind of a subtracter is not true if it is apologetics.
the oviduct is offshore.
sent2 -> int1: that the domain is a deprecation but not low-tension is wrong if it is a Yoruba.; sent13 -> int2: that the agglomerator does not protest holster and it is not a subtracter is incorrect if it is apologetics.; sent3 -> int3: the fact that the agglomerator is apologetics hold.; int2 & int3 -> int4: the fact that the agglomerator does not protest holster and is not a subtracter is not true.; int4 -> int5: there is nothing that does not protest holster and is not a subtracter.; int5 -> int6: that the ctenophore does not protest holster and is not a subtracter is wrong.; int6 -> int7: there exists something such that that it does not protest holster and is not a subtracter is not right.; sent7 & int7 -> int8: the coxswain does protest holster.; sent10 & int8 -> int9: the domain is a Yoruba.; int1 & int9 -> int10: that the domain is a deprecation but it is not low-tension does not hold.; sent11 & int10 -> int11: the timecard is quadrangular.; sent8 & int11 -> int12: that that the oviduct is not a aril and it is undiscriminating is not true is not wrong.;
$hypothesis$ = the oviduct is a kind of non-low-tension thing that is quadrangular if the timecard does discriminate. ; $context$ = sent1: the oviduct is quadrangular if the timecard discriminates. sent2: if something is a kind of a Yoruba that it is a deprecation and it is not low-tension does not hold. sent3: everything is apologetics. sent4: the oviduct is quadrangular. sent5: the fact that if there is something such that it is a kind of a aril the oviduct is not low-tension but quadrangular is true. sent6: the oviduct is quadrangular if something is a kind of a aril. sent7: the coxswain does protest holster if there is something such that the fact that it does not protest holster and is not a subtracter is not right. sent8: if the timecard is not non-quadrangular the fact that the oviduct is not a kind of a aril and it is not discriminating does not hold. sent9: there are discriminating things. sent10: if the coxswain protests holster the domain is a kind of a Yoruba. sent11: if that the domain is a deprecation but it is not low-tension is wrong then the timecard is quadrangular. sent12: the oviduct is low-tension and quadrangular if the timecard does discriminate. sent13: the fact that something does not protest holster and is not a kind of a subtracter is not true if it is apologetics. ; $proof$ = 
__UNKNOWN__