Se Alfa é feliz, então Beta é feliz. Se Alfa é infeliz, então Beta ou Gama são felizes. Se Gama é infeliz, então Beta é infeliz. Se Gama é feliz, então Alfa é feliz. Considerando que as afirmações são verdadeiras, segue-se, portanto, que: