possede(annie,voiture_annie).
possede(jerome,voiture_jerome).
possede(jerome,console_jerome_1).
possede(jerome,console_jerome_2).
possede(helene,voiture_helene).
possede(helene,console_helene).

type_d_objet(voiture_annie,voiture).
type_d_objet(voiture_jerome,voiture).
type_d_objet(voiture_helene,voiture).
type_d_objet(console_jerome_1,console).
type_d_objet(console_jerome_2,console).
type_d_objet(console_helene,console).

marque(voiture_annie,ford).
marque(voiture_jerome,renault).
marque(console_jerome_1,sony).
marque(console_jerome_2,microsoft).
marque(voiture_helene,renault).
marque(console_helene,nintendo).

modele(voiture_annie,escrot).
modele(voiture_jerome,twingo).
modele(console_jerome_1,playstation_5).
modele(console_jerome_2,xBox_One).
modele(voiture_helene,megane).
modele(console_helene,switch).