there exists something such that it does stave left-hander or is sepaloid or both.
sent1: the bookseller does stave left-hander if there exists something such that the fact that it is both not mammalian and not apomictic does not hold. sent2: something is both not sepaloid and a scoreboard if it is not homozygous. sent3: there exists something such that the fact that it is a kind of non-mammalian thing that is not apomictic is incorrect.
sent3 & sent1 -> int1: the bookseller does stave left-hander.; int1 -> int2: the bookseller does stave left-hander and/or it is sepaloid.; int2 -> hypothesis;
the bookseller is unobjectionable.
sent2 -> int3: if the lidar is not homozygous it is non-sepaloid thing that is a scoreboard.;
$hypothesis$ = there exists something such that it does stave left-hander or is sepaloid or both. ; $context$ = sent1: the bookseller does stave left-hander if there exists something such that the fact that it is both not mammalian and not apomictic does not hold. sent2: something is both not sepaloid and a scoreboard if it is not homozygous. sent3: there exists something such that the fact that it is a kind of non-mammalian thing that is not apomictic is incorrect. ; $proof$ = 
sent3 & sent1 -> int1: the bookseller does stave left-hander.; int1 -> int2: the bookseller does stave left-hander and/or it is sepaloid.; int2 -> hypothesis; __PROVED__