there exists something such that if it is not a kind of a grass it is factory-made.
sent1: the fact that there exists something such that if it is not premenstrual then it is unneurotic is true. sent2: if something is not mythic then it does entrance Jasminum. sent3: the seta is epidemiologic if it is a kind of a crossbencher. sent4: there is something such that if it is not Christological it is auxetic. sent5: there exists something such that if it is not epizoan then it is a deposition. sent6: there is something such that if it scallops crowded then it is a kinship. sent7: the Dubliner is a spank if it is not a holothurian. sent8: if the Dubliner does not obsess it is a Parrish. sent9: if the gruel is not a kind of a moonshine it does grass. sent10: something is factory-made if it does not defray cobweb. sent11: if the Dubliner is a grass it is factory-made. sent12: the fact that the seta does grass is correct if the fact that it is heartless is not incorrect. sent13: the Dubliner is factory-made if it scallops crowded. sent14: if the bullhorn is not a holothurian it is a grass. sent15: there is something such that if it is unneurotic it is a carbonate. sent16: if the fact that the Dubliner does not grass is not wrong then it is factory-made. sent17: if the Dubliner is not factory-made then it entrances columbine. sent18: there is something such that if it is a grass the fact that it is factory-made is not wrong. sent19: there is something such that if it is not transitional then it defrays rendering. sent20: that there is something such that if it does not defray cobweb then it is mythic is true. sent21: there is something such that if it does not activate then it is a kind of a togetherness.
sent16 -> hypothesis;
if the Dubliner does not defray cobweb it is factory-made.
sent10 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a grass it is factory-made. ; $context$ = sent1: the fact that there exists something such that if it is not premenstrual then it is unneurotic is true. sent2: if something is not mythic then it does entrance Jasminum. sent3: the seta is epidemiologic if it is a kind of a crossbencher. sent4: there is something such that if it is not Christological it is auxetic. sent5: there exists something such that if it is not epizoan then it is a deposition. sent6: there is something such that if it scallops crowded then it is a kinship. sent7: the Dubliner is a spank if it is not a holothurian. sent8: if the Dubliner does not obsess it is a Parrish. sent9: if the gruel is not a kind of a moonshine it does grass. sent10: something is factory-made if it does not defray cobweb. sent11: if the Dubliner is a grass it is factory-made. sent12: the fact that the seta does grass is correct if the fact that it is heartless is not incorrect. sent13: the Dubliner is factory-made if it scallops crowded. sent14: if the bullhorn is not a holothurian it is a grass. sent15: there is something such that if it is unneurotic it is a carbonate. sent16: if the fact that the Dubliner does not grass is not wrong then it is factory-made. sent17: if the Dubliner is not factory-made then it entrances columbine. sent18: there is something such that if it is a grass the fact that it is factory-made is not wrong. sent19: there is something such that if it is not transitional then it defrays rendering. sent20: that there is something such that if it does not defray cobweb then it is mythic is true. sent21: there is something such that if it does not activate then it is a kind of a togetherness. ; $proof$ = 
sent16 -> hypothesis; __PROVED__