A alternativa que apresenta uma contradição é a 4, pois primeiro afirma que "Todo vendedor de churros não é ruivo" (ou seja, não existem vendedores de churros ruivos), e em seguida afirma que "algum ruivo é vendedor de churros", contrariando a primeira afirmação.