there are unpeaceful and robotics things.
sent1: the ophryon is restful if the Contras is restful. sent2: everything does sheathe lateness and it is a homeotherm. sent3: something is robotics and it is restful. sent4: if there is something such that that it is not unpreventable and refers fibrinopeptide is not true then the paddle-wheeler is unpreventable. sent5: the Contras is robotics and it is restful. sent6: if the slingshot is not restful then the Contras is unpeaceful but it is not robotics. sent7: the Contras is hymeneal. sent8: there exists something such that the fact that it is not unpreventable and it refers fibrinopeptide is not correct. sent9: the Contras is unpeaceful if it is nonoperational. sent10: there is nothing such that it is a kind of a memorial or is natal or both. sent11: the resuscitator is nonoperational. sent12: a unpeaceful and non-robotics thing is an impulse. sent13: the Contras is unpreventable if the paddle-wheeler is both unpreventable and not nonoperational. sent14: the Contras is nonoperational. sent15: if the fact that the durian either is a kind of a memorial or is natal or both is not correct then the fact that the paddle-wheeler is not nonoperational is true. sent16: there exists something such that it is unpeaceful. sent17: the fact that the Contras is restful is not false. sent18: there exists something such that it is robotics. sent19: the laugher is robotics.
sent9 & sent14 -> int1: the Contras is unpeaceful.; sent5 -> int2: the Contras is robotics.; int1 & int2 -> int3: the Contras is both not peaceful and robotics.; int3 -> hypothesis;
the ophryon is restful.
$hypothesis$ = there are unpeaceful and robotics things. ; $context$ = sent1: the ophryon is restful if the Contras is restful. sent2: everything does sheathe lateness and it is a homeotherm. sent3: something is robotics and it is restful. sent4: if there is something such that that it is not unpreventable and refers fibrinopeptide is not true then the paddle-wheeler is unpreventable. sent5: the Contras is robotics and it is restful. sent6: if the slingshot is not restful then the Contras is unpeaceful but it is not robotics. sent7: the Contras is hymeneal. sent8: there exists something such that the fact that it is not unpreventable and it refers fibrinopeptide is not correct. sent9: the Contras is unpeaceful if it is nonoperational. sent10: there is nothing such that it is a kind of a memorial or is natal or both. sent11: the resuscitator is nonoperational. sent12: a unpeaceful and non-robotics thing is an impulse. sent13: the Contras is unpreventable if the paddle-wheeler is both unpreventable and not nonoperational. sent14: the Contras is nonoperational. sent15: if the fact that the durian either is a kind of a memorial or is natal or both is not correct then the fact that the paddle-wheeler is not nonoperational is true. sent16: there exists something such that it is unpeaceful. sent17: the fact that the Contras is restful is not false. sent18: there exists something such that it is robotics. sent19: the laugher is robotics. ; $proof$ = 
sent9 & sent14 -> int1: the Contras is unpeaceful.; sent5 -> int2: the Contras is robotics.; int1 & int2 -> int3: the Contras is both not peaceful and robotics.; int3 -> hypothesis; __PROVED__