the outfield is a barrow if the fact that the fact that the minicab is not progestational but a Venezuelan is not right hold.
sent1: the minicab is a Nativity if it is a Venezuelan. sent2: the minicab does crossbreed Unionidae if that it is not a beam and it is not a roots does not hold. sent3: something is a barrow if it crossbreeds Unionidae. sent4: the minicab is a barrow. sent5: if the minicab does crossbreed Unionidae that the nonpareil is not a barrow and not Venezuelan is not true. sent6: the outfield crossbreeds Unionidae if the minicab is not a Venezuelan. sent7: if something is not a kind of a Venezuelan then it is not progestational and is old. sent8: the minicab reschedules brisance. sent9: the minicab is not progestational if the nonpareil is a kind of non-immediate thing that is a kind of a Nativity. sent10: the outfield is a barrow if the minicab is not progestational but it is a Venezuelan. sent11: that the nonpareil is a Nativity is not false. sent12: the ruby is not a Venezuelan if that the nonpareil is not a kind of a barrow and it is not Venezuelan is not right. sent13: the outfield is not a tetragram but a Nativity.
void -> assump1: Let's assume that the minicab is a Venezuelan.; void -> assump2: Let's assume that the fact that the minicab is non-progestational and is a Venezuelan is not right.; sent3 -> int1: the outfield is a barrow if it crossbreeds Unionidae.;
the ruby is not progestational but an old.
sent7 -> int2: the ruby is not progestational and is an old if it is not a Venezuelan.;
$hypothesis$ = the outfield is a barrow if the fact that the fact that the minicab is not progestational but a Venezuelan is not right hold. ; $context$ = sent1: the minicab is a Nativity if it is a Venezuelan. sent2: the minicab does crossbreed Unionidae if that it is not a beam and it is not a roots does not hold. sent3: something is a barrow if it crossbreeds Unionidae. sent4: the minicab is a barrow. sent5: if the minicab does crossbreed Unionidae that the nonpareil is not a barrow and not Venezuelan is not true. sent6: the outfield crossbreeds Unionidae if the minicab is not a Venezuelan. sent7: if something is not a kind of a Venezuelan then it is not progestational and is old. sent8: the minicab reschedules brisance. sent9: the minicab is not progestational if the nonpareil is a kind of non-immediate thing that is a kind of a Nativity. sent10: the outfield is a barrow if the minicab is not progestational but it is a Venezuelan. sent11: that the nonpareil is a Nativity is not false. sent12: the ruby is not a Venezuelan if that the nonpareil is not a kind of a barrow and it is not Venezuelan is not right. sent13: the outfield is not a tetragram but a Nativity. ; $proof$ = 
void -> assump1: Let's assume that the minicab is a Venezuelan.; void -> assump2: Let's assume that the fact that the minicab is non-progestational and is a Venezuelan is not right.; sent3 -> int1: the outfield is a barrow if it crossbreeds Unionidae.; __UNKNOWN__