the birdbath is a footwear.
sent1: if the fact that something is meridional and it is a myelin is false then it is not a footwear. sent2: if the birdbath does not thrive the concretion is a footwear and bony. sent3: if something is not bony the fact that it is a kind of meridional thing that is a myelin is wrong. sent4: the fact that there exists something such that it thrives and is bony is right. sent5: the Floridian wrestles Hebraist and it does thrive. sent6: if something is a kind of a myelin then it is bony. sent7: there exists something such that it is a myelin. sent8: the birdbath is bony and it thrives. sent9: that the birdbath is a myelin is not wrong. sent10: something does thrive if that it does not thrive and does not memorialize cartridge does not hold. sent11: the attacker does thrive. sent12: the birdbath thrives. sent13: if a myelin is meridional the concretion is not bony. sent14: that if the concretion is non-bony the birdbath is a footwear and does thrive is not wrong. sent15: if that something is not meridional and it is not a footwear is not correct then it is a myelin. sent16: the fact that something does not thrive and does not memorialize cartridge is incorrect if the fact that it does wrestle Hebraist is not incorrect. sent17: the squaw wrestles Hebraist. sent18: the birdbath thrives and it is bony. sent19: something is a myelin and it is meridional. sent20: if the birdbath is not bony then the concretion is a kind of a footwear and it does thrive. sent21: the vandyke does wrestle Theseus and it is capacitive. sent22: the birdbath thrives if the concretion is not bony.
sent19 & sent13 -> int1: the concretion is not bony.; sent14 & int1 -> int2: the birdbath is a kind of a footwear and it thrives.; int2 -> hypothesis;
the birdbath is not a footwear.
sent1 -> int3: if that the birdbath is meridional a myelin does not hold it is not a footwear.; sent3 -> int4: if the birdbath is not bony that it is meridional and is a myelin is false.; sent5 -> int5: the Floridian does thrive.; int5 -> int6: there is something such that it thrives.;
$hypothesis$ = the birdbath is a footwear. ; $context$ = sent1: if the fact that something is meridional and it is a myelin is false then it is not a footwear. sent2: if the birdbath does not thrive the concretion is a footwear and bony. sent3: if something is not bony the fact that it is a kind of meridional thing that is a myelin is wrong. sent4: the fact that there exists something such that it thrives and is bony is right. sent5: the Floridian wrestles Hebraist and it does thrive. sent6: if something is a kind of a myelin then it is bony. sent7: there exists something such that it is a myelin. sent8: the birdbath is bony and it thrives. sent9: that the birdbath is a myelin is not wrong. sent10: something does thrive if that it does not thrive and does not memorialize cartridge does not hold. sent11: the attacker does thrive. sent12: the birdbath thrives. sent13: if a myelin is meridional the concretion is not bony. sent14: that if the concretion is non-bony the birdbath is a footwear and does thrive is not wrong. sent15: if that something is not meridional and it is not a footwear is not correct then it is a myelin. sent16: the fact that something does not thrive and does not memorialize cartridge is incorrect if the fact that it does wrestle Hebraist is not incorrect. sent17: the squaw wrestles Hebraist. sent18: the birdbath thrives and it is bony. sent19: something is a myelin and it is meridional. sent20: if the birdbath is not bony then the concretion is a kind of a footwear and it does thrive. sent21: the vandyke does wrestle Theseus and it is capacitive. sent22: the birdbath thrives if the concretion is not bony. ; $proof$ = 
sent19 & sent13 -> int1: the concretion is not bony.; sent14 & int1 -> int2: the birdbath is a kind of a footwear and it thrives.; int2 -> hypothesis; __PROVED__