the hackmatack does not sight illiteracy and it does not sight penitentiary.
sent1: if the floorwalker does sight Fontenoy then the hackmatack is not a sterility but it bills. sent2: the floorwalker does sight Fontenoy. sent3: the hackmatack does not sight penitentiary if it is a sterility and it is a bill. sent4: if the hackmatack is a kind of a Utahan then the threadfish is not a bill. sent5: the threadfish is astringent. sent6: something is not sobering but it sights illiteracy if it is a kind of an astringent. sent7: the threadfish is not a sterility if the fact that it is a sterility and it sights Fontenoy does not hold. sent8: the threadfish is a kind of a Utahan. sent9: The Fontenoy does sight floorwalker. sent10: the hackmatack is not a kind of a Utahan and it is not a sterility. sent11: if something is not a sterility but it bills it does not sight penitentiary. sent12: if a sterility is a kind of a bill it does not sight penitentiary. sent13: if the threadfish is an astringent and a Utahan the hackmatack does not sight illiteracy.
sent5 & sent8 -> int1: the threadfish is astringent and it is a Utahan.; int1 & sent13 -> int2: the hackmatack does not sight illiteracy.; sent11 -> int3: the hackmatack does not sight penitentiary if it is not a sterility and is a bill.; sent1 & sent2 -> int4: the hackmatack is not a sterility but it is a bill.; int3 & int4 -> int5: the hackmatack does not sight penitentiary.; int2 & int5 -> hypothesis;
the convent does not sober but it does sight illiteracy.
sent6 -> int6: if that the convent is an astringent is not false then it does not sober and it sights illiteracy.;
$hypothesis$ = the hackmatack does not sight illiteracy and it does not sight penitentiary. ; $context$ = sent1: if the floorwalker does sight Fontenoy then the hackmatack is not a sterility but it bills. sent2: the floorwalker does sight Fontenoy. sent3: the hackmatack does not sight penitentiary if it is a sterility and it is a bill. sent4: if the hackmatack is a kind of a Utahan then the threadfish is not a bill. sent5: the threadfish is astringent. sent6: something is not sobering but it sights illiteracy if it is a kind of an astringent. sent7: the threadfish is not a sterility if the fact that it is a sterility and it sights Fontenoy does not hold. sent8: the threadfish is a kind of a Utahan. sent9: The Fontenoy does sight floorwalker. sent10: the hackmatack is not a kind of a Utahan and it is not a sterility. sent11: if something is not a sterility but it bills it does not sight penitentiary. sent12: if a sterility is a kind of a bill it does not sight penitentiary. sent13: if the threadfish is an astringent and a Utahan the hackmatack does not sight illiteracy. ; $proof$ = 
sent5 & sent8 -> int1: the threadfish is astringent and it is a Utahan.; int1 & sent13 -> int2: the hackmatack does not sight illiteracy.; sent11 -> int3: the hackmatack does not sight penitentiary if it is not a sterility and is a bill.; sent1 & sent2 -> int4: the hackmatack is not a sterility but it is a bill.; int3 & int4 -> int5: the hackmatack does not sight penitentiary.; int2 & int5 -> hypothesis; __PROVED__