there is something such that it is not imprudent and it is not irreverent.
sent1: there is something such that it does not resize couple and is not a startled. sent2: the packer is imprudent. sent3: the bow is not imprudent and not irreverent if the packer is independent. sent4: the bow is not imprudent. sent5: there exists something such that it is not a kind of a purpose. sent6: there is something such that that it is not irreverent is not incorrect. sent7: something does not purpose but it is a kind of a pout. sent8: the protriptyline is imprudent if the bow is a kind of a Coptic. sent9: the Chancellor is irreverent. sent10: something is imprudent if it is independent and it is not Coptic. sent11: the packer is independent if the protriptyline is Coptic. sent12: there exists something such that it pouts. sent13: the packer is not a strictness and is available if it is a aquatics. sent14: something is imprudent and is not irreverent. sent15: something is both not imprudent and not non-irreverent. sent16: the packer is prandial. sent17: the bow is not imprudent if the packer is independent. sent18: there is something such that it is a purpose and a pout. sent19: if something that is not a purpose does pout the protriptyline is a kind of a Coptic.
sent7 & sent19 -> int1: the protriptyline is a kind of a Coptic.; sent11 & int1 -> int2: that the packer is independent hold.; sent3 & int2 -> int3: the bow is not imprudent and is not irreverent.; int3 -> hypothesis;
the protriptyline is imprudent.
sent10 -> int4: the protriptyline is imprudent if it is independent but not Coptic.;
$hypothesis$ = there is something such that it is not imprudent and it is not irreverent. ; $context$ = sent1: there is something such that it does not resize couple and is not a startled. sent2: the packer is imprudent. sent3: the bow is not imprudent and not irreverent if the packer is independent. sent4: the bow is not imprudent. sent5: there exists something such that it is not a kind of a purpose. sent6: there is something such that that it is not irreverent is not incorrect. sent7: something does not purpose but it is a kind of a pout. sent8: the protriptyline is imprudent if the bow is a kind of a Coptic. sent9: the Chancellor is irreverent. sent10: something is imprudent if it is independent and it is not Coptic. sent11: the packer is independent if the protriptyline is Coptic. sent12: there exists something such that it pouts. sent13: the packer is not a strictness and is available if it is a aquatics. sent14: something is imprudent and is not irreverent. sent15: something is both not imprudent and not non-irreverent. sent16: the packer is prandial. sent17: the bow is not imprudent if the packer is independent. sent18: there is something such that it is a purpose and a pout. sent19: if something that is not a purpose does pout the protriptyline is a kind of a Coptic. ; $proof$ = 
sent7 & sent19 -> int1: the protriptyline is a kind of a Coptic.; sent11 & int1 -> int2: that the packer is independent hold.; sent3 & int2 -> int3: the bow is not imprudent and is not irreverent.; int3 -> hypothesis; __PROVED__