1 non : house_elf est un symbole de prédicat, pas une constante
2 non: il n'y a aucun fait ni aucune règle permettant de déduire un wizard
3 non : cf1
4 oui : dernière règle de magic etablie par le fait sur witch
5 oui : il y a plusieurs réponses : dobby, hermione et 'mcGonagall'