that the teratogen is not a bathymetry is correct if the smallholder is impenitent.
sent1: if the fact that the smallholder is impenitent is not incorrect the teratogen is unlawful. sent2: the perijove is lawful. sent3: the catalog is not impenitent. sent4: everything does not crook seductress. sent5: the smallholder does not cancel outline and is not a rotation. sent6: if the smallholder is a kind of a bathymetry then the teratogen is not impenitent. sent7: that the typewriter is a kind of a bathymetry is correct. sent8: the teratogen is a bathymetry. sent9: the teratogen is not lawful but it is a bathymetry. sent10: the smallholder is lawful. sent11: the scum is not gymnospermous and is not a kind of a bathymetry. sent12: the smallholder is both not a bathymetry and not lawful if the teratogen is impenitent. sent13: the teratogen is a kind of a bathymetry if the smallholder is impenitent. sent14: the teratogen is not lawful and it is not a bathymetry if the smallholder is impenitent. sent15: if the smallholder is impenitent then the teratogen is non-lawful thing that is a kind of a bathymetry. sent16: the teratogen is not lawful.
void -> assump1: Let's assume that the smallholder is impenitent.; sent14 & assump1 -> int1: the teratogen is both not lawful and not a bathymetry.; int1 -> int2: the teratogen is not a kind of a bathymetry.; [assump1] & int2 -> hypothesis;
the seductress is impenitent.
sent4 -> int3: the smallholder does not crook seductress.;
$hypothesis$ = that the teratogen is not a bathymetry is correct if the smallholder is impenitent. ; $context$ = sent1: if the fact that the smallholder is impenitent is not incorrect the teratogen is unlawful. sent2: the perijove is lawful. sent3: the catalog is not impenitent. sent4: everything does not crook seductress. sent5: the smallholder does not cancel outline and is not a rotation. sent6: if the smallholder is a kind of a bathymetry then the teratogen is not impenitent. sent7: that the typewriter is a kind of a bathymetry is correct. sent8: the teratogen is a bathymetry. sent9: the teratogen is not lawful but it is a bathymetry. sent10: the smallholder is lawful. sent11: the scum is not gymnospermous and is not a kind of a bathymetry. sent12: the smallholder is both not a bathymetry and not lawful if the teratogen is impenitent. sent13: the teratogen is a kind of a bathymetry if the smallholder is impenitent. sent14: the teratogen is not lawful and it is not a bathymetry if the smallholder is impenitent. sent15: if the smallholder is impenitent then the teratogen is non-lawful thing that is a kind of a bathymetry. sent16: the teratogen is not lawful. ; $proof$ = 
void -> assump1: Let's assume that the smallholder is impenitent.; sent14 & assump1 -> int1: the teratogen is both not lawful and not a bathymetry.; int1 -> int2: the teratogen is not a kind of a bathymetry.; [assump1] & int2 -> hypothesis; __PROVED__