Considerando-se que todos os Gringles são Jirnes e que nenhum Jirnes é Trumps, a afirmação de que nenhum Trumps pode ser Gringles é:
Considerando-se que todos os Gringles são Jirnes e que nenhum Jirnes é Trumps, a afirmação de que nenhum Trumps pode ser Gringles é:
