there is something such that if the fact that it does not award Lens hold then it is not a kind of a crunch.
sent1: there is something such that if it is not a heptane then it does not award marathoner. sent2: if the ceratosaur is not an aerosol it does not award Lens. sent3: if something does not award Lens then it is not informal. sent4: if the grassland does not award Lens then it is not a kind of a simal. sent5: the tread does crunch if it does not award Lens. sent6: if the tread does not graft then it is not a kind of an approximation. sent7: there is something such that if it does not awaken then it is non-numeral. sent8: if the chump is not a kind of a put-down it does not award Lens. sent9: there is something such that if it does not award Lens then it is a kind of a crunch. sent10: the tread is not a kind of a crunch if it awards Lens. sent11: if the fact that the tread does not award Lens is not false then it is not a kind of a crunch. sent12: there is something such that if it is not a kind of a jadeite then the fact that it is not nonrepresentative is right. sent13: there exists something such that if the fact that it does award Lens is not wrong it is not a crunch. sent14: there exists something such that if it is not a pleaser then it is not Singhalese.
sent11 -> hypothesis;
the cryogen is not informal if it does not award Lens.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it does not award Lens hold then it is not a kind of a crunch. ; $context$ = sent1: there is something such that if it is not a heptane then it does not award marathoner. sent2: if the ceratosaur is not an aerosol it does not award Lens. sent3: if something does not award Lens then it is not informal. sent4: if the grassland does not award Lens then it is not a kind of a simal. sent5: the tread does crunch if it does not award Lens. sent6: if the tread does not graft then it is not a kind of an approximation. sent7: there is something such that if it does not awaken then it is non-numeral. sent8: if the chump is not a kind of a put-down it does not award Lens. sent9: there is something such that if it does not award Lens then it is a kind of a crunch. sent10: the tread is not a kind of a crunch if it awards Lens. sent11: if the fact that the tread does not award Lens is not false then it is not a kind of a crunch. sent12: there is something such that if it is not a kind of a jadeite then the fact that it is not nonrepresentative is right. sent13: there exists something such that if the fact that it does award Lens is not wrong it is not a crunch. sent14: there exists something such that if it is not a pleaser then it is not Singhalese. ; $proof$ = 
sent11 -> hypothesis; __PROVED__