the taillight does patinate.
sent1: if that something does not patinate and deticks taillight does not hold then it patinate. sent2: the antineutron is a ammine. sent3: if something does empty then the antineutron does detick taillight. sent4: the antineutron is a kind of a detumescence and it is a kind of a ammine. sent5: the fact that the taillight does not patinate is right if the antineutron does not empty or it does not patinate or both. sent6: there is something such that it deticks taillight. sent7: the taillight is not a kind of a ammine. sent8: there exists something such that it is a kind of a detumescence. sent9: something is a kind of an emptying. sent10: the parturition is systematic if there is something such that it does summarize Omdurman.
sent9 & sent3 -> int1: the antineutron deticks taillight.; sent4 -> int2: the antineutron is a detumescence.; int1 & int2 -> int3: the antineutron is a kind of a detumescence and it does detick taillight.; int3 -> int4: something is a kind of a detumescence that does detick taillight.;
the taillight does not patinate.
$hypothesis$ = the taillight does patinate. ; $context$ = sent1: if that something does not patinate and deticks taillight does not hold then it patinate. sent2: the antineutron is a ammine. sent3: if something does empty then the antineutron does detick taillight. sent4: the antineutron is a kind of a detumescence and it is a kind of a ammine. sent5: the fact that the taillight does not patinate is right if the antineutron does not empty or it does not patinate or both. sent6: there is something such that it deticks taillight. sent7: the taillight is not a kind of a ammine. sent8: there exists something such that it is a kind of a detumescence. sent9: something is a kind of an emptying. sent10: the parturition is systematic if there is something such that it does summarize Omdurman. ; $proof$ = 
sent9 & sent3 -> int1: the antineutron deticks taillight.; sent4 -> int2: the antineutron is a detumescence.; int1 & int2 -> int3: the antineutron is a kind of a detumescence and it does detick taillight.; int3 -> int4: something is a kind of a detumescence that does detick taillight.; __UNKNOWN__