'If a creature is a Gloop, it is always green. If a creature is green, it cannot fly.' Given these premises, which of the following must be true?