the fact that either the Kahlua does not contribute centerline or it does not unveil or both does not hold.
sent1: the fact that the Kahlua is allantoic but it does not stridulate is not true. sent2: the fact that either the Kahlua is not an embarrassment or it is non-allantoic or both is incorrect if the grapevine does not contribute centerline. sent3: that the grapevine is a curmudgeon is not incorrect. sent4: either something does not contribute centerline or it does not unveil or both if it is an embarrassment. sent5: there is something such that it is postictal. sent6: if there exists something such that that it is postictal hold the fact that the grapevine is a kind of an embarrassment that is not allantoic is not true. sent7: that the Kahlua is allantoic hold if the grapevine does not contribute centerline. sent8: the grapevine is not postictal. sent9: if something is a relinquishment then the fact that it is not postictal hold. sent10: the yellowwood is a kind of a horse-pistol but it is not an embarrassment. sent11: that the invigilator japans Zagreb is correct. sent12: the Achaean is not allantoic. sent13: there is something such that the fact that it is not non-allantoic hold. sent14: the grapevine is not allantoic. sent15: the Kahlua does proportion but it is not backward. sent16: that the grapevine is not allantoic and/or does not contribute centerline is not correct if the Kahlua does not unveil. sent17: the grapevine is a kind of a moorwort. sent18: if the fact that the grapevine is a thriller is not wrong then the Kahlua is a kind of a relinquishment.
void -> assump1: Let's assume that the grapevine is an embarrassment.; assump1 & sent14 -> int1: the grapevine is a kind of an embarrassment and is not allantoic.; sent5 & sent6 -> int2: that the grapevine is an embarrassment but it is not allantoic is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the grapevine is not an embarrassment.;
the Kahlua does not contribute centerline and/or it does not unveil.
sent4 -> int5: if that the Kahlua is an embarrassment is right it does not contribute centerline and/or it does not unveil.; sent9 -> int6: the fact that the Kahlua is not postictal is not false if it is a kind of a relinquishment.;
$hypothesis$ = the fact that either the Kahlua does not contribute centerline or it does not unveil or both does not hold. ; $context$ = sent1: the fact that the Kahlua is allantoic but it does not stridulate is not true. sent2: the fact that either the Kahlua is not an embarrassment or it is non-allantoic or both is incorrect if the grapevine does not contribute centerline. sent3: that the grapevine is a curmudgeon is not incorrect. sent4: either something does not contribute centerline or it does not unveil or both if it is an embarrassment. sent5: there is something such that it is postictal. sent6: if there exists something such that that it is postictal hold the fact that the grapevine is a kind of an embarrassment that is not allantoic is not true. sent7: that the Kahlua is allantoic hold if the grapevine does not contribute centerline. sent8: the grapevine is not postictal. sent9: if something is a relinquishment then the fact that it is not postictal hold. sent10: the yellowwood is a kind of a horse-pistol but it is not an embarrassment. sent11: that the invigilator japans Zagreb is correct. sent12: the Achaean is not allantoic. sent13: there is something such that the fact that it is not non-allantoic hold. sent14: the grapevine is not allantoic. sent15: the Kahlua does proportion but it is not backward. sent16: that the grapevine is not allantoic and/or does not contribute centerline is not correct if the Kahlua does not unveil. sent17: the grapevine is a kind of a moorwort. sent18: if the fact that the grapevine is a thriller is not wrong then the Kahlua is a kind of a relinquishment. ; $proof$ = 
void -> assump1: Let's assume that the grapevine is an embarrassment.; assump1 & sent14 -> int1: the grapevine is a kind of an embarrassment and is not allantoic.; sent5 & sent6 -> int2: that the grapevine is an embarrassment but it is not allantoic is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the grapevine is not an embarrassment.; __UNKNOWN__