the hypermastigote damages glyceryl.
sent1: there exists something such that it is both a boogie and a stable. sent2: if the crabgrass is not a kind of a flurry it is not a stable. sent3: if the crabgrass is not a kind of a flurry it is a boogie that is not a kind of a stable. sent4: the electric does not damage glyceryl. sent5: if the crabgrass is a kind of a propylthiouracil the hypermastigote does not damage glyceryl but it flurries. sent6: something does boogie. sent7: something does damage glyceryl and is not stable. sent8: that the hypermastigote is not a boogie is true. sent9: the crabgrass is not stable. sent10: the crabgrass is not a flurry. sent11: there exists something such that it is not a stable. sent12: the fact that the hypermastigote does damage glyceryl if something boogies but it is unstable is not wrong. sent13: something does bethink Vinca but it is not Boolean if it does flurry.
sent3 & sent10 -> int1: the crabgrass is a boogie but it is not a kind of a stable.; int1 -> int2: there exists something such that it is a boogie and not a stable.; int2 & sent12 -> hypothesis;
the hypermastigote does not damage glyceryl.
$hypothesis$ = the hypermastigote damages glyceryl. ; $context$ = sent1: there exists something such that it is both a boogie and a stable. sent2: if the crabgrass is not a kind of a flurry it is not a stable. sent3: if the crabgrass is not a kind of a flurry it is a boogie that is not a kind of a stable. sent4: the electric does not damage glyceryl. sent5: if the crabgrass is a kind of a propylthiouracil the hypermastigote does not damage glyceryl but it flurries. sent6: something does boogie. sent7: something does damage glyceryl and is not stable. sent8: that the hypermastigote is not a boogie is true. sent9: the crabgrass is not stable. sent10: the crabgrass is not a flurry. sent11: there exists something such that it is not a stable. sent12: the fact that the hypermastigote does damage glyceryl if something boogies but it is unstable is not wrong. sent13: something does bethink Vinca but it is not Boolean if it does flurry. ; $proof$ = 
sent3 & sent10 -> int1: the crabgrass is a boogie but it is not a kind of a stable.; int1 -> int2: there exists something such that it is a boogie and not a stable.; int2 & sent12 -> hypothesis; __PROVED__