the mung does contemplate billboard.
sent1: that the manual is not a shoeful hold. sent2: there exists something such that it does not contemplate Venezuela. sent3: the balldress is argillaceous and is a topminnow if the manual is not a symbology. sent4: if the frontlet is a symbology then the balldress is certain. sent5: that the manual is a hogchoker is not wrong if it is reversible and it is not a shoeful. sent6: that the customer is a hogchoker but it is not certain is wrong if there is something such that it is not a kind of a reversible. sent7: if the mung is a kind of a reversible then the balldress does contemplate billboard. sent8: the manual is a reversible and is not a kind of a shoeful if the balldress is a reversible. sent9: the mung does not contemplate billboard if that the frontlet contemplate billboard and does not contemplate Venezuela does not hold. sent10: the fact that the zymase is a kind of a hogchoker is not incorrect. sent11: something is a reversible if it is certain. sent12: the hardwood is not a reversible. sent13: that the customer is certain is not false if the fact that it is both a hogchoker and not certain is wrong. sent14: if something is not argillaceous but it is a topminnow then it is a symbology. sent15: the manual is a kind of a going. sent16: the fact that the frontlet is both not argillaceous and a topminnow hold if that there exists something such that it does not contemplate Venezuela is correct. sent17: the balldress is a kind of a reversible if it is not non-going and not uncertain.
sent2 & sent16 -> int1: the frontlet is not argillaceous but it is a topminnow.; sent14 -> int2: the frontlet is a kind of a symbology if it is not argillaceous and it is a kind of a topminnow.; int1 & int2 -> int3: the frontlet is a symbology.; int3 & sent4 -> int4: the balldress is certain.; sent11 -> int5: the balldress is a kind of a reversible if it is certain.; int4 & int5 -> int6: the balldress is a kind of a reversible.; int6 & sent8 -> int7: the manual is both reversible and not a shoeful.; int7 & sent5 -> int8: the manual is a hogchoker.; int8 & sent15 -> int9: the manual does go and is a hogchoker.; int9 -> int10: something is a going and a hogchoker.;
the mung does not contemplate billboard.
sent12 -> int11: something is not a reversible.; int11 & sent6 -> int12: that the customer is both a hogchoker and not certain is not correct.; sent13 & int12 -> int13: the customer is certain.; int13 -> int14: there exists something such that the fact that it is certain is not false.;
$hypothesis$ = the mung does contemplate billboard. ; $context$ = sent1: that the manual is not a shoeful hold. sent2: there exists something such that it does not contemplate Venezuela. sent3: the balldress is argillaceous and is a topminnow if the manual is not a symbology. sent4: if the frontlet is a symbology then the balldress is certain. sent5: that the manual is a hogchoker is not wrong if it is reversible and it is not a shoeful. sent6: that the customer is a hogchoker but it is not certain is wrong if there is something such that it is not a kind of a reversible. sent7: if the mung is a kind of a reversible then the balldress does contemplate billboard. sent8: the manual is a reversible and is not a kind of a shoeful if the balldress is a reversible. sent9: the mung does not contemplate billboard if that the frontlet contemplate billboard and does not contemplate Venezuela does not hold. sent10: the fact that the zymase is a kind of a hogchoker is not incorrect. sent11: something is a reversible if it is certain. sent12: the hardwood is not a reversible. sent13: that the customer is certain is not false if the fact that it is both a hogchoker and not certain is wrong. sent14: if something is not argillaceous but it is a topminnow then it is a symbology. sent15: the manual is a kind of a going. sent16: the fact that the frontlet is both not argillaceous and a topminnow hold if that there exists something such that it does not contemplate Venezuela is correct. sent17: the balldress is a kind of a reversible if it is not non-going and not uncertain. ; $proof$ = 
sent2 & sent16 -> int1: the frontlet is not argillaceous but it is a topminnow.; sent14 -> int2: the frontlet is a kind of a symbology if it is not argillaceous and it is a kind of a topminnow.; int1 & int2 -> int3: the frontlet is a symbology.; int3 & sent4 -> int4: the balldress is certain.; sent11 -> int5: the balldress is a kind of a reversible if it is certain.; int4 & int5 -> int6: the balldress is a kind of a reversible.; int6 & sent8 -> int7: the manual is both reversible and not a shoeful.; int7 & sent5 -> int8: the manual is a hogchoker.; int8 & sent15 -> int9: the manual does go and is a hogchoker.; int9 -> int10: something is a going and a hogchoker.; __UNKNOWN__