the pinchbeck is a kind of a neurobiologist.
sent1: the bargainer is both a spiral and a mole. sent2: if something is macroeconomics then it is not a kind of a hardball or is a seniti or both. sent3: if that the chachka is a kind of a Argive that is not a test does not hold the pinchbeck is a neurobiologist. sent4: if something is not a hardball and/or it is a seniti then the chachka is a seniti. sent5: if the bargainer is both a mole and not a pass then the condom is not collarless. sent6: if there is something such that it is not a zebra then the collaborator is not a crith or is a memorial or both. sent7: if the fact that the hypertonicity is collarless is true that the bladder is macroeconomics is true. sent8: the pinchbeck is a neurobiologist if that the chachka is not a Argive hold. sent9: the fact that the rinse spends Labor but it is not immutable is wrong if the chachka is a kind of a seniti. sent10: the bargainer does not pass if something is not a crith and/or is a memorial. sent11: there is something such that it is not a zebra. sent12: if the condom is not collarless then the hypertonicity is collarless. sent13: if the rinse is immutable the fact that the chachka is a kind of a Argive but it does not test is not right.
that the pinchbeck is not a neurobiologist hold.
sent2 -> int1: if the bladder is macroeconomics it is not a hardball or is a seniti or both.; sent1 -> int2: the bargainer is a mole.; sent11 & sent6 -> int3: the collaborator is not a crith or is a memorial or both.; int3 -> int4: there exists something such that it is not a crith and/or it is a memorial.; int4 & sent10 -> int5: the bargainer is not a pass.; int2 & int5 -> int6: the bargainer is a kind of a mole but it does not pass.; sent5 & int6 -> int7: the condom is non-collarless.; sent12 & int7 -> int8: the hypertonicity is collarless.; sent7 & int8 -> int9: the bladder is macroeconomics.; int1 & int9 -> int10: the bladder is not a kind of a hardball or it is a seniti or both.; int10 -> int11: something is not a kind of a hardball and/or is a seniti.; int11 & sent4 -> int12: the chachka is a kind of a seniti.; sent9 & int12 -> int13: the fact that the rinse does spend Labor and is not immutable does not hold.; int13 -> int14: there exists something such that the fact that it spends Labor and it is not immutable is not true.;
$hypothesis$ = the pinchbeck is a kind of a neurobiologist. ; $context$ = sent1: the bargainer is both a spiral and a mole. sent2: if something is macroeconomics then it is not a kind of a hardball or is a seniti or both. sent3: if that the chachka is a kind of a Argive that is not a test does not hold the pinchbeck is a neurobiologist. sent4: if something is not a hardball and/or it is a seniti then the chachka is a seniti. sent5: if the bargainer is both a mole and not a pass then the condom is not collarless. sent6: if there is something such that it is not a zebra then the collaborator is not a crith or is a memorial or both. sent7: if the fact that the hypertonicity is collarless is true that the bladder is macroeconomics is true. sent8: the pinchbeck is a neurobiologist if that the chachka is not a Argive hold. sent9: the fact that the rinse spends Labor but it is not immutable is wrong if the chachka is a kind of a seniti. sent10: the bargainer does not pass if something is not a crith and/or is a memorial. sent11: there is something such that it is not a zebra. sent12: if the condom is not collarless then the hypertonicity is collarless. sent13: if the rinse is immutable the fact that the chachka is a kind of a Argive but it does not test is not right. ; $proof$ = 
__UNKNOWN__