the azimuth does not negotiate pestle.
sent1: if there is something such that it is a Gentianella then the azimuth does not flee and is not eschatological. sent2: if the Smitane does attenuate and/or is not diligent then the potboy is not diligent. sent3: something does not negotiate pestle if it does not flee and is not eschatological. sent4: the solution is not eschatological if the conservatory is not a Indic. sent5: there exists something such that that it is a surfeit is true. sent6: if there is something such that that it is a Gentianella is true then the azimuth does not flee. sent7: if the babies'-breath does negotiate pestle the azimuth negotiate pestle. sent8: something is a Gentianella. sent9: the azimuth does not flee. sent10: if something is non-eschatological then the fact that it does flee and/or it is a kind of a Gentianella is not correct. sent11: something is a kind of a Indic and/or it does puncture if it is not diligent.
sent8 & sent1 -> int1: the azimuth does not flee and it is not eschatological.; sent3 -> int2: if the azimuth does not flee and is not eschatological it does not negotiate pestle.; int1 & int2 -> hypothesis;
the azimuth does negotiate pestle.
sent10 -> int3: that the solution does flee and/or it is a Gentianella is not right if it is not eschatological.; sent11 -> int4: if the potboy is not diligent then it is a Indic and/or punctures.;
$hypothesis$ = the azimuth does not negotiate pestle. ; $context$ = sent1: if there is something such that it is a Gentianella then the azimuth does not flee and is not eschatological. sent2: if the Smitane does attenuate and/or is not diligent then the potboy is not diligent. sent3: something does not negotiate pestle if it does not flee and is not eschatological. sent4: the solution is not eschatological if the conservatory is not a Indic. sent5: there exists something such that that it is a surfeit is true. sent6: if there is something such that that it is a Gentianella is true then the azimuth does not flee. sent7: if the babies'-breath does negotiate pestle the azimuth negotiate pestle. sent8: something is a Gentianella. sent9: the azimuth does not flee. sent10: if something is non-eschatological then the fact that it does flee and/or it is a kind of a Gentianella is not correct. sent11: something is a kind of a Indic and/or it does puncture if it is not diligent. ; $proof$ = 
sent8 & sent1 -> int1: the azimuth does not flee and it is not eschatological.; sent3 -> int2: if the azimuth does not flee and is not eschatological it does not negotiate pestle.; int1 & int2 -> hypothesis; __PROVED__