Se Ricardo não é alto, ou Sofia não é inteligente, então Amanda é bonita.

Se Ricardo não é alto e Sofia não é inteligente, então Amanda é bonita.

Se Ricardo não é alto, ou Sofia não é inteligente, então Amanda não é bonita.

Se Amanda é bonita então Ricardo não é alto e Sofia não é inteligente.

Se Amanda é bonita, então Ricardo não é alto, ou Sofia não é inteligente.