the Firth is not an asset.
sent1: something does cotton if it is not a kind of an acetylene. sent2: the lobby is a cotton and it is a friary. sent3: the LPN devoices tabletop if it is adnexal. sent4: if the lobby is a kind of a tabor or it is adnexal or both the Firth is not an asset. sent5: if something does not devoice tabletop then it is a tabor. sent6: the LPN is a tabor. sent7: the fact that the lobby is not a kind of a therm but it is horary is not correct if the menthol does not devoice tabletop. sent8: if something that is a therm is horary it does not devoice tabletop. sent9: the Firth does not devoice tabletop if the fact that the lobby is an asset and/or it is adnexal is correct. sent10: if that the Firth devoices tabletop is correct the lobby is not a kind of an asset. sent11: the lobby is not an asset. sent12: the Firth is not a therm. sent13: if a trey is Swedish then it is not a kind of an advancement. sent14: the Firth is not adnexal if it is horary and an asset. sent15: the lobby is horary. sent16: the menthol does not devoice tabletop if the LPN is a kind of a tabor and does devoice tabletop. sent17: the lobby is a kind of a therm. sent18: if the lobby is a kind of an asset the kyanite is not an asset.
sent17 & sent15 -> int1: the lobby is a therm and is horary.; sent8 -> int2: the lobby does not devoice tabletop if it is a therm and it is not non-horary.; int1 & int2 -> int3: the lobby does not devoice tabletop.; sent5 -> int4: if that the lobby does not devoice tabletop is correct then it is a tabor.; int3 & int4 -> int5: the lobby is a tabor.; int5 -> int6: the lobby is a tabor or is adnexal or both.; int6 & sent4 -> hypothesis;
the kyanite is not an asset.
$hypothesis$ = the Firth is not an asset. ; $context$ = sent1: something does cotton if it is not a kind of an acetylene. sent2: the lobby is a cotton and it is a friary. sent3: the LPN devoices tabletop if it is adnexal. sent4: if the lobby is a kind of a tabor or it is adnexal or both the Firth is not an asset. sent5: if something does not devoice tabletop then it is a tabor. sent6: the LPN is a tabor. sent7: the fact that the lobby is not a kind of a therm but it is horary is not correct if the menthol does not devoice tabletop. sent8: if something that is a therm is horary it does not devoice tabletop. sent9: the Firth does not devoice tabletop if the fact that the lobby is an asset and/or it is adnexal is correct. sent10: if that the Firth devoices tabletop is correct the lobby is not a kind of an asset. sent11: the lobby is not an asset. sent12: the Firth is not a therm. sent13: if a trey is Swedish then it is not a kind of an advancement. sent14: the Firth is not adnexal if it is horary and an asset. sent15: the lobby is horary. sent16: the menthol does not devoice tabletop if the LPN is a kind of a tabor and does devoice tabletop. sent17: the lobby is a kind of a therm. sent18: if the lobby is a kind of an asset the kyanite is not an asset. ; $proof$ = 
sent17 & sent15 -> int1: the lobby is a therm and is horary.; sent8 -> int2: the lobby does not devoice tabletop if it is a therm and it is not non-horary.; int1 & int2 -> int3: the lobby does not devoice tabletop.; sent5 -> int4: if that the lobby does not devoice tabletop is correct then it is a tabor.; int3 & int4 -> int5: the lobby is a tabor.; int5 -> int6: the lobby is a tabor or is adnexal or both.; int6 & sent4 -> hypothesis; __PROVED__