there exists something such that if the fact that it does not bankrupt Burnett and kills is not correct then it does profile.
sent1: there exists something such that if it does bankrupt Burnett then it is a profiling. sent2: if the fact that the crackle is not a kill but afebrile is wrong then it scrapes. sent3: there exists something such that if it is not a kill it is a profiling. sent4: there exists something such that if that it bankrupts Burnett and does kill does not hold it is a profiling. sent5: there is something such that if that it is not a luxuriation but antimonic does not hold that it bankrupts degeneracy is right. sent6: the hangnail is a profiling if that it does bankrupt Burnett and it is a kill is not true. sent7: the Lubavitcher is a kind of a greens if that it is not macrencephalic and it is a kind of a peculiarity does not hold. sent8: there is something such that if it does not bankrupt Burnett and is a kill then it profiles. sent9: if the fact that the hangnail does not bankrupt Burnett but it does kill is false then it profiles. sent10: there exists something such that if that it is both not firmamental and statesmanlike is not true then it is a shareware. sent11: the fact that the hangnail is a profiling is not wrong if it is not a kill. sent12: something is placable if the fact that it is not a tastefulness and it is a kind of a perfumed is incorrect. sent13: the fact that the hangnail is a profiling is right if it does not bankrupt Burnett and is a kill.
sent9 -> hypothesis;
there exists something such that if that it is not a kind of a tastefulness and it is a kind of a perfumed does not hold that it is not placable does not hold.
sent12 -> int1: the Franklin is placable if that it is not a tastefulness but a perfumed does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it does not bankrupt Burnett and kills is not correct then it does profile. ; $context$ = sent1: there exists something such that if it does bankrupt Burnett then it is a profiling. sent2: if the fact that the crackle is not a kill but afebrile is wrong then it scrapes. sent3: there exists something such that if it is not a kill it is a profiling. sent4: there exists something such that if that it bankrupts Burnett and does kill does not hold it is a profiling. sent5: there is something such that if that it is not a luxuriation but antimonic does not hold that it bankrupts degeneracy is right. sent6: the hangnail is a profiling if that it does bankrupt Burnett and it is a kill is not true. sent7: the Lubavitcher is a kind of a greens if that it is not macrencephalic and it is a kind of a peculiarity does not hold. sent8: there is something such that if it does not bankrupt Burnett and is a kill then it profiles. sent9: if the fact that the hangnail does not bankrupt Burnett but it does kill is false then it profiles. sent10: there exists something such that if that it is both not firmamental and statesmanlike is not true then it is a shareware. sent11: the fact that the hangnail is a profiling is not wrong if it is not a kill. sent12: something is placable if the fact that it is not a tastefulness and it is a kind of a perfumed is incorrect. sent13: the fact that the hangnail is a profiling is right if it does not bankrupt Burnett and is a kill. ; $proof$ = 
sent9 -> hypothesis; __PROVED__