the applecart does demote priest if the tucker-bag is coreferential.
sent1: the inset is not a kind of a spill. sent2: the inset does not brad bulgur if the fact that the maguey is both not unripe and secondary is right. sent3: the tucker-bag is not a Ormandy. sent4: the inset does not brad bulgur if the maguey is not unripe and it is not a secondary. sent5: if the shocker is a spill then the applecart does demote priest. sent6: the maguey is not secondary if the tucker-bag is not a taffrail. sent7: the maguey is unripe or it is a taffrail or both. sent8: if the inset does not brad bulgur the shocker is a Brown and/or it spills. sent9: if the maguey does not spill then the shocker is not unripe. sent10: either the applecart does demote priest or it is a secondary or both. sent11: the maguey does not brad bulgur. sent12: something does not overlook and does not brad bulgur if it decimalizes. sent13: the maguey is a Brown. sent14: the maguey is not secondary. sent15: if the shocker is a kind of a Brown the applecart demotes priest. sent16: either the maguey is not non-coreferential or it is a kind of a Brown or both if that the tucker-bag is not unripe is not incorrect. sent17: if that the tucker-bag decimalizes hold then it is not a taffrail. sent18: the tucker-bag is non-secondary. sent19: if the tucker-bag is not a taffrail the maguey is not unripe and is not a secondary. sent20: the tucker-bag is unripe or it is coreferential or both if the maguey is not a spill.
void -> assump1: Let's assume that the tucker-bag is coreferential.; assump1 -> int1: the tucker-bag does decimalize and/or it is coreferential.;
the intussusception is not an overlooked and does not brad bulgur.
sent12 -> int2: the intussusception is not an overlooked and it does not brad bulgur if it decimalizes.;
$hypothesis$ = the applecart does demote priest if the tucker-bag is coreferential. ; $context$ = sent1: the inset is not a kind of a spill. sent2: the inset does not brad bulgur if the fact that the maguey is both not unripe and secondary is right. sent3: the tucker-bag is not a Ormandy. sent4: the inset does not brad bulgur if the maguey is not unripe and it is not a secondary. sent5: if the shocker is a spill then the applecart does demote priest. sent6: the maguey is not secondary if the tucker-bag is not a taffrail. sent7: the maguey is unripe or it is a taffrail or both. sent8: if the inset does not brad bulgur the shocker is a Brown and/or it spills. sent9: if the maguey does not spill then the shocker is not unripe. sent10: either the applecart does demote priest or it is a secondary or both. sent11: the maguey does not brad bulgur. sent12: something does not overlook and does not brad bulgur if it decimalizes. sent13: the maguey is a Brown. sent14: the maguey is not secondary. sent15: if the shocker is a kind of a Brown the applecart demotes priest. sent16: either the maguey is not non-coreferential or it is a kind of a Brown or both if that the tucker-bag is not unripe is not incorrect. sent17: if that the tucker-bag decimalizes hold then it is not a taffrail. sent18: the tucker-bag is non-secondary. sent19: if the tucker-bag is not a taffrail the maguey is not unripe and is not a secondary. sent20: the tucker-bag is unripe or it is coreferential or both if the maguey is not a spill. ; $proof$ = 
void -> assump1: Let's assume that the tucker-bag is coreferential.; assump1 -> int1: the tucker-bag does decimalize and/or it is coreferential.; __UNKNOWN__