the matador is a cobweb and not nonmechanical.
sent1: something does single Wave and it is a kind of a terminal if it is not specialistic. sent2: the perennation is a kind of a pyroscope. sent3: the fact that the cheatgrass is specialistic is right if something is a Adapa that does not pity dog-eared. sent4: the matador is a cobweb. sent5: something is a kind of a cobweb and it is a conversationalist if it does not cork. sent6: if the theophylline is a cobweb then the cheatgrass is mechanical and is not a kind of a lender. sent7: either the Wampanoag is a kind of a evaporite or it does not cork or both. sent8: if there exists something such that it is not nonmechanical and not a lender the matador is not specialistic. sent9: the matador is a Adapa. sent10: the interleukin is a kind of a Adapa. sent11: if the perennation is a pyroscope but it is not a corked the theophylline is not a corked. sent12: the interleukin is a Adapa that does not pity dog-eared. sent13: the cheatgrass is a lender.
sent12 -> int1: something is a Adapa but it does not pity dog-eared.; int1 & sent3 -> int2: the cheatgrass is not non-specialistic.; int2 & sent13 -> int3: the cheatgrass is specialistic and it is a kind of a lender.;
the matador singles Wave and is a terminal.
sent1 -> int4: if the matador is not specialistic then it does single Wave and it is terminal.; sent5 -> int5: if the theophylline is not a corked then it is a kind of a cobweb and it is a conversationalist.; sent7 -> int6: there exists something such that either it is a evaporite or it is not a corked or both.;
$hypothesis$ = the matador is a cobweb and not nonmechanical. ; $context$ = sent1: something does single Wave and it is a kind of a terminal if it is not specialistic. sent2: the perennation is a kind of a pyroscope. sent3: the fact that the cheatgrass is specialistic is right if something is a Adapa that does not pity dog-eared. sent4: the matador is a cobweb. sent5: something is a kind of a cobweb and it is a conversationalist if it does not cork. sent6: if the theophylline is a cobweb then the cheatgrass is mechanical and is not a kind of a lender. sent7: either the Wampanoag is a kind of a evaporite or it does not cork or both. sent8: if there exists something such that it is not nonmechanical and not a lender the matador is not specialistic. sent9: the matador is a Adapa. sent10: the interleukin is a kind of a Adapa. sent11: if the perennation is a pyroscope but it is not a corked the theophylline is not a corked. sent12: the interleukin is a Adapa that does not pity dog-eared. sent13: the cheatgrass is a lender. ; $proof$ = 
sent12 -> int1: something is a Adapa but it does not pity dog-eared.; int1 & sent3 -> int2: the cheatgrass is not non-specialistic.; int2 & sent13 -> int3: the cheatgrass is specialistic and it is a kind of a lender.; __UNKNOWN__