there is something such that if it is strong then the fact that it does not jiggle ledge and does jiggle evidenced is right.
sent1: if the drool jiggles pentaerythritol then it jiggles ledge. sent2: something is both violent and gallinaceous if it does stuff markhor. sent3: there exists something such that if it does narrow chirrup it is a kind of a butt-welding and is a kinsman. sent4: there is something such that if it is strong it jiggles evidenced. sent5: there exists something such that if the fact that it is strong is true it jiggles ledge and it jiggles evidenced. sent6: if the pasteboard is a Molokai then it jiggles ledge. sent7: if something is strong it jiggles evidenced. sent8: the pasteboard does jiggle evidenced if it is strong. sent9: the pasteboard jiggles ledge and it does jiggle evidenced if it is strong. sent10: there exists something such that if it stuffs Bam then it is drupaceous and jerks. sent11: something does not jiggle ledge and jiggles evidenced if that it is strong hold. sent12: if something is a kind of a target it is not an insecurity and it does palpitate. sent13: if something is strong then it does jiggle ledge and it does jiggle evidenced.
sent11 -> int1: if the pasteboard is strong it does not jiggle ledge and it jiggles evidenced.; int1 -> hypothesis;
there exists something such that if it stuffs markhor it is not nonviolent and it is gallinaceous.
sent2 -> int2: if the markhor stuffs markhor it is not nonviolent but gallinaceous.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is strong then the fact that it does not jiggle ledge and does jiggle evidenced is right. ; $context$ = sent1: if the drool jiggles pentaerythritol then it jiggles ledge. sent2: something is both violent and gallinaceous if it does stuff markhor. sent3: there exists something such that if it does narrow chirrup it is a kind of a butt-welding and is a kinsman. sent4: there is something such that if it is strong it jiggles evidenced. sent5: there exists something such that if the fact that it is strong is true it jiggles ledge and it jiggles evidenced. sent6: if the pasteboard is a Molokai then it jiggles ledge. sent7: if something is strong it jiggles evidenced. sent8: the pasteboard does jiggle evidenced if it is strong. sent9: the pasteboard jiggles ledge and it does jiggle evidenced if it is strong. sent10: there exists something such that if it stuffs Bam then it is drupaceous and jerks. sent11: something does not jiggle ledge and jiggles evidenced if that it is strong hold. sent12: if something is a kind of a target it is not an insecurity and it does palpitate. sent13: if something is strong then it does jiggle ledge and it does jiggle evidenced. ; $proof$ = 
sent11 -> int1: if the pasteboard is strong it does not jiggle ledge and it jiggles evidenced.; int1 -> hypothesis; __PROVED__