Se o quintal está sujo, então o gato mia. Se o quintal não está sujo, então o passarinho canta. Ora, o passarinho não canta, logo: