{

Problema ${n^{{o}} 13}$ } Considere o seguinte conjunto de afirma{c}{o}es: {enumerate} Os Ferrari s{a}o carros italianos. Os Alfa Romeu s{a}o carros italianos. Os carros italianos t{e}m bom arranque. Os Volkswagen s{a}o carros alem{a}es. Os carros parados durante muito tempo apresentam problemas de arranque. Os carros italianos que ficam fora da garagem apresentam problemas de arranque com o tempo frio. O carro do Jo{a}o {e} um Alfa Romeu. O carro do Jo{a}o fica fora da garagem. O tempo est{a} frio. enumerate} Represente o conhecimento acima expresso, da forma que lhe parecer mais conveniente, e construa uma árvore de prova que mostre que o carro do Jo{a}o tem problemas de arranque. %%%%%%%%%%%%%%%%%%%%