there exists something such that if it is not cytogenetic and does not frog it is painless.
sent1: if the fact that the workspace is non-cytogenetic a frog hold it is painless. sent2: if something is not cytogenetic and is a frog then it is painless. sent3: the workspace is painless if it is cytogenetic and it is not a frog. sent4: there is something such that if it is not phagocytic and does not forage pumpkin it is a plural. sent5: if something that does not border Haftorah is not a serial then it is a kind of an amateur. sent6: there is something such that if it is both not an automatic and not outdoors it is a grugru. sent7: there is something such that if it is not atmospheric and it does not abscond then it is pentatonic. sent8: there is something such that if it is non-cytogenetic a frog it is painless. sent9: if something that does not border Archean is not a streptococcus then it is a Cotonou. sent10: there is something such that if it does not border workspace and does not border Haftorah it is a kind of a serial. sent11: there is something such that if it is cytogenetic and it is not a frog then it is painless. sent12: there is something such that if it is not a brakes and it does not forage Nehemiah it forages Halle. sent13: something is painless if it is not cytogenetic and it does not frog. sent14: the raincoat is cytogenetic if it is not unmade and it is not an indemnity. sent15: there exists something such that if it does not detrain sciolism and is not pilosebaceous the fact that it does forage corticosteroid is not wrong. sent16: if something is cytogenetic but it is not a frog it is painless. sent17: the workspace does detrain russet if it is not a kind of a frog and is not a rally. sent18: there exists something such that if it is not prosodic and it is non-piratical it is unimportant. sent19: if the electrolyte is not a Fang and it does not frog it is chronic.
sent13 -> int1: if the workspace is a kind of non-cytogenetic thing that does not frog it is painless.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not cytogenetic and does not frog it is painless. ; $context$ = sent1: if the fact that the workspace is non-cytogenetic a frog hold it is painless. sent2: if something is not cytogenetic and is a frog then it is painless. sent3: the workspace is painless if it is cytogenetic and it is not a frog. sent4: there is something such that if it is not phagocytic and does not forage pumpkin it is a plural. sent5: if something that does not border Haftorah is not a serial then it is a kind of an amateur. sent6: there is something such that if it is both not an automatic and not outdoors it is a grugru. sent7: there is something such that if it is not atmospheric and it does not abscond then it is pentatonic. sent8: there is something such that if it is non-cytogenetic a frog it is painless. sent9: if something that does not border Archean is not a streptococcus then it is a Cotonou. sent10: there is something such that if it does not border workspace and does not border Haftorah it is a kind of a serial. sent11: there is something such that if it is cytogenetic and it is not a frog then it is painless. sent12: there is something such that if it is not a brakes and it does not forage Nehemiah it forages Halle. sent13: something is painless if it is not cytogenetic and it does not frog. sent14: the raincoat is cytogenetic if it is not unmade and it is not an indemnity. sent15: there exists something such that if it does not detrain sciolism and is not pilosebaceous the fact that it does forage corticosteroid is not wrong. sent16: if something is cytogenetic but it is not a frog it is painless. sent17: the workspace does detrain russet if it is not a kind of a frog and is not a rally. sent18: there exists something such that if it is not prosodic and it is non-piratical it is unimportant. sent19: if the electrolyte is not a Fang and it does not frog it is chronic. ; $proof$ = 
sent13 -> int1: if the workspace is a kind of non-cytogenetic thing that does not frog it is painless.; int1 -> hypothesis; __PROVED__