that the pocketcomb is both not evaporative and not tonal is wrong.
sent1: that the amine chirrs hold. sent2: the amine is not a Sitter if the conductor does mythologize and/or it is a kind of a skip. sent3: if that the locum is tonal is not false then the fact that the pocketcomb is not non-evaporative but tonal is not right. sent4: the conductor is tonal. sent5: that the pocketcomb is both not evaporative and tonal is false. sent6: if something does not headquarter gallows-tree then the fact that it is not tonal and is not a wood does not hold. sent7: if the locum is tonal the fact that the pocketcomb is not evaporative and it is not tonal is incorrect. sent8: the fact that the pocketcomb is evaporative but it is not tonal is false. sent9: the coil does headquarter gallows-tree. sent10: the conductor either mythologizes or is a kind of a skip or both. sent11: The gallows-tree does headquarter coil. sent12: if the coil headquarters gallows-tree then the amine headquarters gallows-tree. sent13: the locum is tonal if the amine is not a Sitter and does headquarter gallows-tree. sent14: the amine is not a Sitter if the conductor does mythologize.
sent2 & sent10 -> int1: the amine is not a kind of a Sitter.; sent12 & sent9 -> int2: the amine headquarters gallows-tree.; int1 & int2 -> int3: the amine is not a Sitter and headquarters gallows-tree.; int3 & sent13 -> int4: the locum is tonal.; int4 & sent7 -> hypothesis;
the fact that that the stentor is not tonal and is not a kind of a wood is not correct is not wrong.
sent6 -> int5: if the stentor does not headquarter gallows-tree then the fact that it is non-tonal and it is not a kind of a wood is not true.;
$hypothesis$ = that the pocketcomb is both not evaporative and not tonal is wrong. ; $context$ = sent1: that the amine chirrs hold. sent2: the amine is not a Sitter if the conductor does mythologize and/or it is a kind of a skip. sent3: if that the locum is tonal is not false then the fact that the pocketcomb is not non-evaporative but tonal is not right. sent4: the conductor is tonal. sent5: that the pocketcomb is both not evaporative and tonal is false. sent6: if something does not headquarter gallows-tree then the fact that it is not tonal and is not a wood does not hold. sent7: if the locum is tonal the fact that the pocketcomb is not evaporative and it is not tonal is incorrect. sent8: the fact that the pocketcomb is evaporative but it is not tonal is false. sent9: the coil does headquarter gallows-tree. sent10: the conductor either mythologizes or is a kind of a skip or both. sent11: The gallows-tree does headquarter coil. sent12: if the coil headquarters gallows-tree then the amine headquarters gallows-tree. sent13: the locum is tonal if the amine is not a Sitter and does headquarter gallows-tree. sent14: the amine is not a Sitter if the conductor does mythologize. ; $proof$ = 
sent2 & sent10 -> int1: the amine is not a kind of a Sitter.; sent12 & sent9 -> int2: the amine headquarters gallows-tree.; int1 & int2 -> int3: the amine is not a Sitter and headquarters gallows-tree.; int3 & sent13 -> int4: the locum is tonal.; int4 & sent7 -> hypothesis; __PROVED__