that the Wykehamist is not a technophile and does keratinize Leucanthemum does not hold.
sent1: that the Thatcherite is both non-humoral and not non-bladdery does not hold. sent2: there exists nothing that does not keratinize Leucanthemum and is a technophile. sent3: there exists nothing that is not a Erysiphe but a lux. sent4: if that the Wykehamist is both not a technophile and not non-bladdery is incorrect then it is valedictory. sent5: if that the Thatcherite is a lux but it is not macroeconomics hold the turtler is not a Erysiphe. sent6: the turtler is non-macroeconomics and it is not valedictory if something is not humoral. sent7: if the fact that something is both not valedictory and a technophile is not correct then it is macroeconomics. sent8: there exists something such that it is not a kind of a lysinemia. sent9: the fact that the Wykehamist is not valedictory but it keratinizes Leucanthemum does not hold. sent10: if the Wykehamist is both not valedictory and not a technophile then the thyrotropin does not keratinize Leucanthemum. sent11: if that the Thatcherite does not keratinize Leucanthemum but it is bladdery is not correct it is a lux. sent12: something is not a technophile. sent13: if there exists something such that it is not a subject the cholla does not keratinize sowbelly and it is not a pusher. sent14: that the Wykehamist is not a technophile and keratinizes Leucanthemum is incorrect if the thyrotropin is not a kind of a technophile. sent15: if that something is not a Erysiphe but a lux is incorrect it is bladdery. sent16: the Thatcherite is not valedictory if the turtler is not macroeconomics and it is not humoral. sent17: the turtler is not macroeconomics and it is not humoral if there exists something such that it is not a lysinemia. sent18: if the Thatcherite is not valedictory but it is bladdery then the thyrotropin is not a technophile.
sent8 & sent17 -> int1: the turtler is not macroeconomics and it is non-humoral.; int1 & sent16 -> int2: the Thatcherite is non-valedictory.; sent15 -> int3: if that the Thatcherite is not a kind of a Erysiphe but it is a kind of a lux is not true then it is bladdery.; sent3 -> int4: the fact that the Thatcherite is both not a Erysiphe and a lux does not hold.; int3 & int4 -> int5: the Thatcherite is bladdery.; int2 & int5 -> int6: the Thatcherite is not valedictory but it is not non-bladdery.; int6 & sent18 -> int7: the thyrotropin is not a technophile.; int7 & sent14 -> hypothesis;
$hypothesis$ = that the Wykehamist is not a technophile and does keratinize Leucanthemum does not hold. ; $context$ = sent1: that the Thatcherite is both non-humoral and not non-bladdery does not hold. sent2: there exists nothing that does not keratinize Leucanthemum and is a technophile. sent3: there exists nothing that is not a Erysiphe but a lux. sent4: if that the Wykehamist is both not a technophile and not non-bladdery is incorrect then it is valedictory. sent5: if that the Thatcherite is a lux but it is not macroeconomics hold the turtler is not a Erysiphe. sent6: the turtler is non-macroeconomics and it is not valedictory if something is not humoral. sent7: if the fact that something is both not valedictory and a technophile is not correct then it is macroeconomics. sent8: there exists something such that it is not a kind of a lysinemia. sent9: the fact that the Wykehamist is not valedictory but it keratinizes Leucanthemum does not hold. sent10: if the Wykehamist is both not valedictory and not a technophile then the thyrotropin does not keratinize Leucanthemum. sent11: if that the Thatcherite does not keratinize Leucanthemum but it is bladdery is not correct it is a lux. sent12: something is not a technophile. sent13: if there exists something such that it is not a subject the cholla does not keratinize sowbelly and it is not a pusher. sent14: that the Wykehamist is not a technophile and keratinizes Leucanthemum is incorrect if the thyrotropin is not a kind of a technophile. sent15: if that something is not a Erysiphe but a lux is incorrect it is bladdery. sent16: the Thatcherite is not valedictory if the turtler is not macroeconomics and it is not humoral. sent17: the turtler is not macroeconomics and it is not humoral if there exists something such that it is not a lysinemia. sent18: if the Thatcherite is not valedictory but it is bladdery then the thyrotropin is not a technophile. ; $proof$ = 
sent8 & sent17 -> int1: the turtler is not macroeconomics and it is non-humoral.; int1 & sent16 -> int2: the Thatcherite is non-valedictory.; sent15 -> int3: if that the Thatcherite is not a kind of a Erysiphe but it is a kind of a lux is not true then it is bladdery.; sent3 -> int4: the fact that the Thatcherite is both not a Erysiphe and a lux does not hold.; int3 & int4 -> int5: the Thatcherite is bladdery.; int2 & int5 -> int6: the Thatcherite is not valedictory but it is not non-bladdery.; int6 & sent18 -> int7: the thyrotropin is not a technophile.; int7 & sent14 -> hypothesis; __PROVED__