the handball is eventful but it does lean Gasterophilus.
sent1: if the liza is not fabian then that the handball is not uneventful is not false. sent2: the aleurone does lean Gasterophilus or is a kind of a Plantagenet or both if something lean Gasterophilus. sent3: if something is a Valmy and it does tyrannize then it is not a bibliophile. sent4: the flounce is time-release if the aleurone is a kind of a Plantagenet. sent5: the aleurone is not non-time-release or is a kind of a Plantagenet or both if there exists something such that that it is non-time-release is correct. sent6: if the flounce is a Appalachian it is a kind of a Valmy and it does not tyrannize. sent7: if the flounce is a kind of a Appalachian then it does not tyrannize. sent8: there exists something such that it is time-release. sent9: the flounce does not tyrannize. sent10: if the liza is non-fabian the handball is not uneventful but it leans Gasterophilus. sent11: the flounce is not a bibliophile if it is a Valmy that does tyrannize. sent12: the Permalloy is not Bosnian and does afforest handball. sent13: something is a kind of a jasper if it is an unfamiliarity. sent14: if something is a Valmy but it does not tyrannize the fact that it is not a bibliophile is right. sent15: the flounce is time-release if the aleurone is time-release. sent16: the flounce is a kind of a Appalachian. sent17: the handball is not uneventful. sent18: if the flounce is not time-release then it is uneventful. sent19: the fact that something is a kind of an unfamiliarity is not wrong if it is not a bibliophile. sent20: if something that is a jasper is time-release the liza is not fabian. sent21: if the aleurone is not an unfamiliarity then the liza is a kind of a jasper or it is a bibliophile or both.
sent14 -> int1: if the flounce is a kind of a Valmy and does not tyrannize then it is not a bibliophile.; sent6 & sent16 -> int2: the flounce is a kind of a Valmy that does not tyrannize.; int1 & int2 -> int3: the flounce is not a bibliophile.; sent19 -> int4: if the flounce is not a bibliophile then it is an unfamiliarity.; int3 & int4 -> int5: the flounce is a kind of an unfamiliarity.; sent13 -> int6: if the flounce is an unfamiliarity then it is a jasper.; int5 & int6 -> int7: the flounce is a jasper.; sent8 & sent5 -> int8: the aleurone is time-release or a Plantagenet or both.; int8 & sent15 & sent4 -> int9: the flounce is time-release.; int7 & int9 -> int10: the flounce is a kind of a jasper and it is time-release.; int10 -> int11: something is a jasper that is time-release.; int11 & sent20 -> int12: the liza is non-fabian.; int12 & sent10 -> hypothesis;
the handball is a jasper.
$hypothesis$ = the handball is eventful but it does lean Gasterophilus. ; $context$ = sent1: if the liza is not fabian then that the handball is not uneventful is not false. sent2: the aleurone does lean Gasterophilus or is a kind of a Plantagenet or both if something lean Gasterophilus. sent3: if something is a Valmy and it does tyrannize then it is not a bibliophile. sent4: the flounce is time-release if the aleurone is a kind of a Plantagenet. sent5: the aleurone is not non-time-release or is a kind of a Plantagenet or both if there exists something such that that it is non-time-release is correct. sent6: if the flounce is a Appalachian it is a kind of a Valmy and it does not tyrannize. sent7: if the flounce is a kind of a Appalachian then it does not tyrannize. sent8: there exists something such that it is time-release. sent9: the flounce does not tyrannize. sent10: if the liza is non-fabian the handball is not uneventful but it leans Gasterophilus. sent11: the flounce is not a bibliophile if it is a Valmy that does tyrannize. sent12: the Permalloy is not Bosnian and does afforest handball. sent13: something is a kind of a jasper if it is an unfamiliarity. sent14: if something is a Valmy but it does not tyrannize the fact that it is not a bibliophile is right. sent15: the flounce is time-release if the aleurone is time-release. sent16: the flounce is a kind of a Appalachian. sent17: the handball is not uneventful. sent18: if the flounce is not time-release then it is uneventful. sent19: the fact that something is a kind of an unfamiliarity is not wrong if it is not a bibliophile. sent20: if something that is a jasper is time-release the liza is not fabian. sent21: if the aleurone is not an unfamiliarity then the liza is a kind of a jasper or it is a bibliophile or both. ; $proof$ = 
sent14 -> int1: if the flounce is a kind of a Valmy and does not tyrannize then it is not a bibliophile.; sent6 & sent16 -> int2: the flounce is a kind of a Valmy that does not tyrannize.; int1 & int2 -> int3: the flounce is not a bibliophile.; sent19 -> int4: if the flounce is not a bibliophile then it is an unfamiliarity.; int3 & int4 -> int5: the flounce is a kind of an unfamiliarity.; sent13 -> int6: if the flounce is an unfamiliarity then it is a jasper.; int5 & int6 -> int7: the flounce is a jasper.; sent8 & sent5 -> int8: the aleurone is time-release or a Plantagenet or both.; int8 & sent15 & sent4 -> int9: the flounce is time-release.; int7 & int9 -> int10: the flounce is a kind of a jasper and it is time-release.; int10 -> int11: something is a jasper that is time-release.; int11 & sent20 -> int12: the liza is non-fabian.; int12 & sent10 -> hypothesis; __PROVED__