there is something such that it does shrink Anthericum and it is a kind of a staleness.
sent1: if something does shrink yeomanry then that it is a boodle is not incorrect. sent2: there is something such that the fact that it does not shrink yeomanry and is Hugoesque is not true. sent3: the V is a CD4 if that the monthly does not shrink yeomanry and is not autotrophic is wrong. sent4: everything is a kind of a CD4 and/or murmurs OIG. sent5: the V does not shrink yeomanry if the heraldry is not a CD4 or it does murmur OIG or both. sent6: the monthly is not a CD4 and/or it is Hugoesque. sent7: the heraldry either shrinks Anthericum or is a CD4 or both. sent8: there is something such that it shrinks yeomanry and does tame quartan. sent9: the ladybug is a staleness if the ceriman is a boodle. sent10: the fact that the ceriman is not a boodle is wrong if the fact that the monthly is a kind of non-autotrophic thing that is not Hugoesque does not hold. sent11: that the monthly is a kind of non-autotrophic thing that is Hugoesque does not hold. sent12: there is something such that it does shrink Anthericum. sent13: the fact that the monthly is not autotrophic and it is non-Hugoesque does not hold if the chimaera is a scrimshanker. sent14: either everything is not a kind of a CD4 or it does murmur OIG or both. sent15: if that the V does not shrink yeomanry is not incorrect the ladybug shrinks Anthericum and does tame quartan. sent16: there is something such that it is a staleness. sent17: the heraldry is autotrophic. sent18: the separation is both a scrimshanker and inorganic. sent19: that the fact that the monthly is not autotrophic and is Hugoesque is not correct is not wrong if the chimaera is a scrimshanker. sent20: that the chimaera is a scrimshanker hold. sent21: the fact that the monthly is autotrophic but not Hugoesque does not hold if the chimaera is a scrimshanker.
sent14 -> int1: the heraldry is not a kind of a CD4 and/or it does murmur OIG.; int1 & sent5 -> int2: the V does not shrink yeomanry.; int2 & sent15 -> int3: the ladybug does shrink Anthericum and it does tame quartan.; int3 -> int4: the ladybug shrinks Anthericum.; sent13 & sent20 -> int5: that the monthly is non-autotrophic and non-Hugoesque is wrong.; sent10 & int5 -> int6: the ceriman is a boodle.; sent9 & int6 -> int7: the ladybug is a staleness.; int4 & int7 -> int8: the ladybug does shrink Anthericum and is a staleness.; int8 -> hypothesis;
the authoress is both a boodle and a shutterbug.
sent1 -> int9: the authoress is a kind of a boodle if it shrinks yeomanry.;
$hypothesis$ = there is something such that it does shrink Anthericum and it is a kind of a staleness. ; $context$ = sent1: if something does shrink yeomanry then that it is a boodle is not incorrect. sent2: there is something such that the fact that it does not shrink yeomanry and is Hugoesque is not true. sent3: the V is a CD4 if that the monthly does not shrink yeomanry and is not autotrophic is wrong. sent4: everything is a kind of a CD4 and/or murmurs OIG. sent5: the V does not shrink yeomanry if the heraldry is not a CD4 or it does murmur OIG or both. sent6: the monthly is not a CD4 and/or it is Hugoesque. sent7: the heraldry either shrinks Anthericum or is a CD4 or both. sent8: there is something such that it shrinks yeomanry and does tame quartan. sent9: the ladybug is a staleness if the ceriman is a boodle. sent10: the fact that the ceriman is not a boodle is wrong if the fact that the monthly is a kind of non-autotrophic thing that is not Hugoesque does not hold. sent11: that the monthly is a kind of non-autotrophic thing that is Hugoesque does not hold. sent12: there is something such that it does shrink Anthericum. sent13: the fact that the monthly is not autotrophic and it is non-Hugoesque does not hold if the chimaera is a scrimshanker. sent14: either everything is not a kind of a CD4 or it does murmur OIG or both. sent15: if that the V does not shrink yeomanry is not incorrect the ladybug shrinks Anthericum and does tame quartan. sent16: there is something such that it is a staleness. sent17: the heraldry is autotrophic. sent18: the separation is both a scrimshanker and inorganic. sent19: that the fact that the monthly is not autotrophic and is Hugoesque is not correct is not wrong if the chimaera is a scrimshanker. sent20: that the chimaera is a scrimshanker hold. sent21: the fact that the monthly is autotrophic but not Hugoesque does not hold if the chimaera is a scrimshanker. ; $proof$ = 
sent14 -> int1: the heraldry is not a kind of a CD4 and/or it does murmur OIG.; int1 & sent5 -> int2: the V does not shrink yeomanry.; int2 & sent15 -> int3: the ladybug does shrink Anthericum and it does tame quartan.; int3 -> int4: the ladybug shrinks Anthericum.; sent13 & sent20 -> int5: that the monthly is non-autotrophic and non-Hugoesque is wrong.; sent10 & int5 -> int6: the ceriman is a boodle.; sent9 & int6 -> int7: the ladybug is a staleness.; int4 & int7 -> int8: the ladybug does shrink Anthericum and is a staleness.; int8 -> hypothesis; __PROVED__