the thimerosal is terpsichorean.
sent1: the fact that the thimerosal is non-living thing that does not shush drumbeat is not correct. sent2: if there exists something such that it does not shush basidiospore the fact that the tocsin is not unsuccessful and not a lash does not hold. sent3: if the shoebox is living and is tegular the tocsin does not shush truancy. sent4: something is terpsichorean if it does shush king. sent5: the king is terpsichorean. sent6: if there exists something such that the fact that it does not shush truancy and it is not a Veda is false then the thimerosal shush truancy. sent7: the poorwill does shush basidiospore if the tocsin does not shush truancy. sent8: that the thimerosal does not shush king and does not shush drumbeat is false. sent9: the shoebox is tegular. sent10: that the shoebox is both living and not non-tegular is correct. sent11: if that the poorwill does shush basidiospore and it is a kind of a Madison is incorrect then the shoebox does not shush basidiospore. sent12: the thimerosal is not terpsichorean if the fact that the shoebox does not shush truancy and is terpsichorean is false. sent13: if either the abortus does not shush king or it is terpsichorean or both the schmuck shushes drumbeat. sent14: that the toner does not shush truancy and it is not a Veda is false if there exists something such that it does shush drumbeat. sent15: the thimerosal does not shush drumbeat if the poorwill is a kind of a Madison and/or it is a kind of a Veda. sent16: the abortus does not shush king or it is terpsichorean or both if there exists something such that it is terpsichorean.
sent3 & sent10 -> int1: the tocsin does not shush truancy.; void -> assump1: Let's assume that the thimerosal does not shush king.; sent4 -> int2: if the thimerosal shushes king it is terpsichorean.;
the thimerosal is not terpsichorean.
$hypothesis$ = the thimerosal is terpsichorean. ; $context$ = sent1: the fact that the thimerosal is non-living thing that does not shush drumbeat is not correct. sent2: if there exists something such that it does not shush basidiospore the fact that the tocsin is not unsuccessful and not a lash does not hold. sent3: if the shoebox is living and is tegular the tocsin does not shush truancy. sent4: something is terpsichorean if it does shush king. sent5: the king is terpsichorean. sent6: if there exists something such that the fact that it does not shush truancy and it is not a Veda is false then the thimerosal shush truancy. sent7: the poorwill does shush basidiospore if the tocsin does not shush truancy. sent8: that the thimerosal does not shush king and does not shush drumbeat is false. sent9: the shoebox is tegular. sent10: that the shoebox is both living and not non-tegular is correct. sent11: if that the poorwill does shush basidiospore and it is a kind of a Madison is incorrect then the shoebox does not shush basidiospore. sent12: the thimerosal is not terpsichorean if the fact that the shoebox does not shush truancy and is terpsichorean is false. sent13: if either the abortus does not shush king or it is terpsichorean or both the schmuck shushes drumbeat. sent14: that the toner does not shush truancy and it is not a Veda is false if there exists something such that it does shush drumbeat. sent15: the thimerosal does not shush drumbeat if the poorwill is a kind of a Madison and/or it is a kind of a Veda. sent16: the abortus does not shush king or it is terpsichorean or both if there exists something such that it is terpsichorean. ; $proof$ = 
sent3 & sent10 -> int1: the tocsin does not shush truancy.; void -> assump1: Let's assume that the thimerosal does not shush king.; sent4 -> int2: if the thimerosal shushes king it is terpsichorean.; __UNKNOWN__