the larvicide is a tabor and is onomastic.
sent1: there is nothing such that it is not a kind of a spare and it is not a tabor. sent2: the cardsharp is a kind of an inflexibility and is an oncologist. sent3: if the fact that the larvicide is not a kind of a spare and it is not a tabor does not hold it is a kind of a tabor. sent4: the fact that the larvicide does not spare but it is a tabor does not hold. sent5: if the cardsharp is not unwieldy that the larvicide is a kind of a tabor that is onomastic is false. sent6: the cardsharp is unwieldy and it does transfer salamander. sent7: if something is unwieldy then it is onomastic. sent8: the larvicide is onomastic if something that is a kind of an inflexibility transfers salamander. sent9: the salamander spares and is an oncologist if the sideline is not beneficent. sent10: there exists nothing such that it does not spare and is a kind of a tabor. sent11: something that does not transfer salamander is unwieldy. sent12: the sideline is not beneficent if the cassowary fringes and is beneficent. sent13: the toenail does transfer salamander. sent14: there is something such that it does transfer salamander.
sent6 -> int1: the cardsharp transfers salamander.; sent2 -> int2: the cardsharp is a kind of an inflexibility.; int1 & int2 -> int3: the cardsharp is an inflexibility that transfers salamander.; int3 -> int4: there is something such that it is an inflexibility and transfers salamander.; int4 & sent8 -> int5: the larvicide is onomastic.; sent1 -> int6: that the larvicide does not spare and it is not a kind of a tabor is not correct.; sent3 & int6 -> int7: the larvicide is a kind of a tabor.; int5 & int7 -> hypothesis;
the lip-gloss is onomastic.
sent7 -> int8: if the lip-gloss is unwieldy then it is onomastic.; sent11 -> int9: the lip-gloss is unwieldy if it does not transfer salamander.;
$hypothesis$ = the larvicide is a tabor and is onomastic. ; $context$ = sent1: there is nothing such that it is not a kind of a spare and it is not a tabor. sent2: the cardsharp is a kind of an inflexibility and is an oncologist. sent3: if the fact that the larvicide is not a kind of a spare and it is not a tabor does not hold it is a kind of a tabor. sent4: the fact that the larvicide does not spare but it is a tabor does not hold. sent5: if the cardsharp is not unwieldy that the larvicide is a kind of a tabor that is onomastic is false. sent6: the cardsharp is unwieldy and it does transfer salamander. sent7: if something is unwieldy then it is onomastic. sent8: the larvicide is onomastic if something that is a kind of an inflexibility transfers salamander. sent9: the salamander spares and is an oncologist if the sideline is not beneficent. sent10: there exists nothing such that it does not spare and is a kind of a tabor. sent11: something that does not transfer salamander is unwieldy. sent12: the sideline is not beneficent if the cassowary fringes and is beneficent. sent13: the toenail does transfer salamander. sent14: there is something such that it does transfer salamander. ; $proof$ = 
sent6 -> int1: the cardsharp transfers salamander.; sent2 -> int2: the cardsharp is a kind of an inflexibility.; int1 & int2 -> int3: the cardsharp is an inflexibility that transfers salamander.; int3 -> int4: there is something such that it is an inflexibility and transfers salamander.; int4 & sent8 -> int5: the larvicide is onomastic.; sent1 -> int6: that the larvicide does not spare and it is not a kind of a tabor is not correct.; sent3 & int6 -> int7: the larvicide is a kind of a tabor.; int5 & int7 -> hypothesis; __PROVED__