there is something such that if it does not despair robbery and is autotomic then it is not gnostic.
sent1: there exists something such that if it does not quarter and is a kind of a fare-thee-well then it does not rustle bumpiness. sent2: if the Shylock does not despair robbery but it is autotomic the fact that it is not non-gnostic hold. sent3: if something does not despair robbery and is autotomic it is gnostic. sent4: if something that is not a dicumarol does rustle hadrosaur then it is not dizygotic. sent5: there exists something such that if it does not fellate and is lineal it does not facilitate. sent6: if something that does despair robbery is autotomic then it is not gnostic. sent7: there exists something such that if it is both not a dockage and Levitical then it is not nonsurgical. sent8: there exists something such that if it is non-cytotoxic thing that is an exon then it is not surficial. sent9: there exists something such that if it does not despair robbery and it is autotomic it is gnostic. sent10: if something does not despair robbery and is autotomic it is not gnostic. sent11: there exists something such that if it does not despair allegation and rustles Shylock that it is not a Jansenist is not false. sent12: there exists something such that if it despairs robbery and it is autotomic then it is not gnostic. sent13: the Shylock is non-gnostic if it despairs robbery and is autotomic. sent14: the Shylock does not rustle Zola if it does not despair robbery and does unspell Prima.
sent10 -> int1: the Shylock is not gnostic if it does not despair robbery and is autotomic.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not despair robbery and is autotomic then it is not gnostic. ; $context$ = sent1: there exists something such that if it does not quarter and is a kind of a fare-thee-well then it does not rustle bumpiness. sent2: if the Shylock does not despair robbery but it is autotomic the fact that it is not non-gnostic hold. sent3: if something does not despair robbery and is autotomic it is gnostic. sent4: if something that is not a dicumarol does rustle hadrosaur then it is not dizygotic. sent5: there exists something such that if it does not fellate and is lineal it does not facilitate. sent6: if something that does despair robbery is autotomic then it is not gnostic. sent7: there exists something such that if it is both not a dockage and Levitical then it is not nonsurgical. sent8: there exists something such that if it is non-cytotoxic thing that is an exon then it is not surficial. sent9: there exists something such that if it does not despair robbery and it is autotomic it is gnostic. sent10: if something does not despair robbery and is autotomic it is not gnostic. sent11: there exists something such that if it does not despair allegation and rustles Shylock that it is not a Jansenist is not false. sent12: there exists something such that if it despairs robbery and it is autotomic then it is not gnostic. sent13: the Shylock is non-gnostic if it despairs robbery and is autotomic. sent14: the Shylock does not rustle Zola if it does not despair robbery and does unspell Prima. ; $proof$ = 
sent10 -> int1: the Shylock is not gnostic if it does not despair robbery and is autotomic.; int1 -> hypothesis; __PROVED__