the store does capitalize STP.
sent1: the hospital is not a amenability but it is not non-homozygous. sent2: if something is a compressibility then it is nonprofessional. sent3: the fact that that the acetamide is a kind of a compressibility or it is not unpretentious or both does not hold hold. sent4: if something that is not a amenability is homozygous the accumulator does damage lobelia. sent5: the fact that the accumulator is a kind of a compressibility if that the acetamide is a kind of a compressibility and/or it is not unpretentious does not hold is right. sent6: the fact that the store does not capitalize STP is not false if the accumulator is not professional and it does damage lobelia.
sent1 -> int1: something is both not a amenability and homozygous.; int1 & sent4 -> int2: the accumulator does damage lobelia.; sent2 -> int3: if the accumulator is a compressibility it is nonprofessional.; sent5 & sent3 -> int4: the accumulator is a kind of a compressibility.; int3 & int4 -> int5: the accumulator is nonprofessional.; int2 & int5 -> int6: the accumulator is a kind of nonprofessional thing that does damage lobelia.; int6 & sent6 -> hypothesis;
$hypothesis$ = the store does capitalize STP. ; $context$ = sent1: the hospital is not a amenability but it is not non-homozygous. sent2: if something is a compressibility then it is nonprofessional. sent3: the fact that that the acetamide is a kind of a compressibility or it is not unpretentious or both does not hold hold. sent4: if something that is not a amenability is homozygous the accumulator does damage lobelia. sent5: the fact that the accumulator is a kind of a compressibility if that the acetamide is a kind of a compressibility and/or it is not unpretentious does not hold is right. sent6: the fact that the store does not capitalize STP is not false if the accumulator is not professional and it does damage lobelia. ; $proof$ = 
sent1 -> int1: something is both not a amenability and homozygous.; int1 & sent4 -> int2: the accumulator does damage lobelia.; sent2 -> int3: if the accumulator is a compressibility it is nonprofessional.; sent5 & sent3 -> int4: the accumulator is a kind of a compressibility.; int3 & int4 -> int5: the accumulator is nonprofessional.; int2 & int5 -> int6: the accumulator is a kind of nonprofessional thing that does damage lobelia.; int6 & sent6 -> hypothesis; __DISPROVED__