✓ ✓  
q ∙ (a ist rot . ⊃ . ~(a ist grün)) = q