Sabe-se que Amanda estar triste é condição necessária para
Maria sorrir e condição suficiente para Breno abraçar Carla.
Sabe-se, também, que Breno abraçar Carla é condição
necessária e suficiente para Daniel abraçar Daniela. Assim,
quando Daniel não abraça Daniela,