teoremas - Groovy Truth: ¿secuencia a inconsistencia booleana?