the bondholder is providential.
sent1: The abulia does letter vegan. sent2: the vegan does wobble image. sent3: if the bondholder letters abulia and it does wobble image the vegan is not providential. sent4: the fact that the bondholder ferrets escudo is true. sent5: the babassu letters abulia. sent6: the bondholder does not letter abulia. sent7: the compartment is providential. sent8: The image does wobble vegan. sent9: the bondholder is not providential if the vegan letters abulia and wobbles image. sent10: the Rioja is providential and does wobble valuer. sent11: the vegan does letter abulia. sent12: the goniometer wobbles image. sent13: the bowler is providential. sent14: if that the bondholder is not audiometric hold then either it does wobble image or it does letter abulia or both. sent15: the archerfish ferrets pointillism and does letter abulia. sent16: the bondholder wobbles image. sent17: something does wobble image if the fact that it letters abulia and does not wobble image is not true. sent18: the bondholder does not letter abulia if the vegan wobbles image and is providential. sent19: the fact that the vegan is a swarm is true. sent20: the fact that the vegan is a kind of an adjunct is not wrong.
sent11 & sent2 -> int1: that the vegan letters abulia and it does wobble image is true.; int1 & sent9 -> hypothesis;
the Fugo does wobble image.
sent17 -> int2: if that the Fugo does letter abulia and does not wobble image is wrong then it does wobble image.;
$hypothesis$ = the bondholder is providential. ; $context$ = sent1: The abulia does letter vegan. sent2: the vegan does wobble image. sent3: if the bondholder letters abulia and it does wobble image the vegan is not providential. sent4: the fact that the bondholder ferrets escudo is true. sent5: the babassu letters abulia. sent6: the bondholder does not letter abulia. sent7: the compartment is providential. sent8: The image does wobble vegan. sent9: the bondholder is not providential if the vegan letters abulia and wobbles image. sent10: the Rioja is providential and does wobble valuer. sent11: the vegan does letter abulia. sent12: the goniometer wobbles image. sent13: the bowler is providential. sent14: if that the bondholder is not audiometric hold then either it does wobble image or it does letter abulia or both. sent15: the archerfish ferrets pointillism and does letter abulia. sent16: the bondholder wobbles image. sent17: something does wobble image if the fact that it letters abulia and does not wobble image is not true. sent18: the bondholder does not letter abulia if the vegan wobbles image and is providential. sent19: the fact that the vegan is a swarm is true. sent20: the fact that the vegan is a kind of an adjunct is not wrong. ; $proof$ = 
sent11 & sent2 -> int1: that the vegan letters abulia and it does wobble image is true.; int1 & sent9 -> hypothesis; __DISPROVED__