that the asparaginase is a Coca but it is not a sea-duty does not hold.
sent1: the asparaginase is jurisprudential if that it is not noncyclic and it does not aggregate postponement is not right. sent2: if the asparaginase is a welcoming the Weimaraner is a sea-duty. sent3: if the fact that the Weimaraner is noncyclic and it is jurisprudential is not true then the asparaginase is not jurisprudential. sent4: the asparaginase is a nobelium. sent5: if the fact that the Weimaraner is not welcoming and it does not aggregate postponement does not hold it is jurisprudential. sent6: the fact that something is a Coca and is not a sea-duty does not hold if it is jurisprudential. sent7: if something is not trophic the fact that it is noncyclic and it is jurisprudential is not correct. sent8: if the Weimaraner is not cyclic the asparaginase is jurisprudential. sent9: the Weimaraner welcomes if it is a sea-duty. sent10: the Weimaraner is big. sent11: the fact that the asparaginase is jurisprudential thing that does aggregate postponement is incorrect if it is a kind of a sea-duty. sent12: that the asparaginase moves Airedale and is not backhanded is not right. sent13: the fact that the asparaginase does not yell Brunhild and is not noncyclic is not right. sent14: that the Weimaraner welcomes but it is not jurisprudential is false if it is noncyclic. sent15: if that the Weimaraner does not aggregate postponement and it is not a kind of a welcoming is wrong then it is noncyclic. sent16: if the Weimaraner is jurisprudential then the asparaginase does welcome. sent17: the fact that the Weimaraner does not aggregate postponement and is not a welcoming does not hold. sent18: if the Weimaraner does aggregate postponement that it is noncyclic hold. sent19: that the Weimaraner welcomes and it is a Coca does not hold if that it is a kind of a sea-duty is true. sent20: something is a Coca but it is not a kind of a sea-duty if it is not jurisprudential.
sent15 & sent17 -> int1: the Weimaraner is noncyclic.; int1 & sent8 -> int2: the asparaginase is jurisprudential.; sent6 -> int3: if the asparaginase is jurisprudential then the fact that it is both a Coca and not a sea-duty is incorrect.; int2 & int3 -> hypothesis;
the asparaginase is a kind of a Coca but it is not a sea-duty.
sent20 -> int4: if the asparaginase is not jurisprudential then it is a Coca and it is not a kind of a sea-duty.; sent7 -> int5: the fact that the Weimaraner is noncyclic and it is not non-jurisprudential is not true if it is not trophic.;
$hypothesis$ = that the asparaginase is a Coca but it is not a sea-duty does not hold. ; $context$ = sent1: the asparaginase is jurisprudential if that it is not noncyclic and it does not aggregate postponement is not right. sent2: if the asparaginase is a welcoming the Weimaraner is a sea-duty. sent3: if the fact that the Weimaraner is noncyclic and it is jurisprudential is not true then the asparaginase is not jurisprudential. sent4: the asparaginase is a nobelium. sent5: if the fact that the Weimaraner is not welcoming and it does not aggregate postponement does not hold it is jurisprudential. sent6: the fact that something is a Coca and is not a sea-duty does not hold if it is jurisprudential. sent7: if something is not trophic the fact that it is noncyclic and it is jurisprudential is not correct. sent8: if the Weimaraner is not cyclic the asparaginase is jurisprudential. sent9: the Weimaraner welcomes if it is a sea-duty. sent10: the Weimaraner is big. sent11: the fact that the asparaginase is jurisprudential thing that does aggregate postponement is incorrect if it is a kind of a sea-duty. sent12: that the asparaginase moves Airedale and is not backhanded is not right. sent13: the fact that the asparaginase does not yell Brunhild and is not noncyclic is not right. sent14: that the Weimaraner welcomes but it is not jurisprudential is false if it is noncyclic. sent15: if that the Weimaraner does not aggregate postponement and it is not a kind of a welcoming is wrong then it is noncyclic. sent16: if the Weimaraner is jurisprudential then the asparaginase does welcome. sent17: the fact that the Weimaraner does not aggregate postponement and is not a welcoming does not hold. sent18: if the Weimaraner does aggregate postponement that it is noncyclic hold. sent19: that the Weimaraner welcomes and it is a Coca does not hold if that it is a kind of a sea-duty is true. sent20: something is a Coca but it is not a kind of a sea-duty if it is not jurisprudential. ; $proof$ = 
sent15 & sent17 -> int1: the Weimaraner is noncyclic.; int1 & sent8 -> int2: the asparaginase is jurisprudential.; sent6 -> int3: if the asparaginase is jurisprudential then the fact that it is both a Coca and not a sea-duty is incorrect.; int2 & int3 -> hypothesis; __PROVED__