the lubricant is alphanumerics.
sent1: if the lubricant is a kind of an estrus then the areaway is alphanumerics. sent2: the bridgehead does drag HS1. sent3: the fact that the areaway drags HS1 is right if it is alphanumerics. sent4: the areaway is alphanumerics if it does drag HS1. sent5: the murre is not non-alphanumerics. sent6: if the areaway is alphanumerics then the lubricant is an estrus. sent7: The HS1 drags areaway. sent8: something is quintessential if that it is not dextral and it does not drag pterosaur does not hold. sent9: that the areaway is an estrus is true if the lubricant drags HS1. sent10: the lubricant is a Epirus. sent11: the jack-in-the-pulpit is alphanumerics. sent12: if the areaway drags HS1 the fact that it is a kind of an estrus is true. sent13: if the areaway is not quintessential the tetrapod does drag HS1 and it is alphanumerics. sent14: the pudding-face is alphanumerics. sent15: the sparerib is alphanumerics. sent16: the areaway is tectonic. sent17: the tetrapod is a kind of an estrus if it does drag HS1. sent18: if the areaway is alphanumerics then that the lubricant is a lasiocampid is true. sent19: the areaway drags HS1. sent20: the flower drags HS1. sent21: if the flagellate is alphanumerics it is a kind of a Delorme.
sent12 & sent19 -> int1: the areaway is a kind of an estrus.;
the lubricant is not alphanumerics.
sent8 -> int2: if the fact that the Kraut is not dextral and it does not drag pterosaur does not hold then it is quintessential.;
$hypothesis$ = the lubricant is alphanumerics. ; $context$ = sent1: if the lubricant is a kind of an estrus then the areaway is alphanumerics. sent2: the bridgehead does drag HS1. sent3: the fact that the areaway drags HS1 is right if it is alphanumerics. sent4: the areaway is alphanumerics if it does drag HS1. sent5: the murre is not non-alphanumerics. sent6: if the areaway is alphanumerics then the lubricant is an estrus. sent7: The HS1 drags areaway. sent8: something is quintessential if that it is not dextral and it does not drag pterosaur does not hold. sent9: that the areaway is an estrus is true if the lubricant drags HS1. sent10: the lubricant is a Epirus. sent11: the jack-in-the-pulpit is alphanumerics. sent12: if the areaway drags HS1 the fact that it is a kind of an estrus is true. sent13: if the areaway is not quintessential the tetrapod does drag HS1 and it is alphanumerics. sent14: the pudding-face is alphanumerics. sent15: the sparerib is alphanumerics. sent16: the areaway is tectonic. sent17: the tetrapod is a kind of an estrus if it does drag HS1. sent18: if the areaway is alphanumerics then that the lubricant is a lasiocampid is true. sent19: the areaway drags HS1. sent20: the flower drags HS1. sent21: if the flagellate is alphanumerics it is a kind of a Delorme. ; $proof$ = 
sent12 & sent19 -> int1: the areaway is a kind of an estrus.; __UNKNOWN__