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,