pferd(schwarz).
pferd(braun).
pferd(weiss).

loesung(Pferd_Toni,Pferd_Rob,Pferd_Lysa) :- pferd(Pferd_Toni), pferd(Pferd_Rob), pferd(Pferd_Lysa), Pferd_Toni\=Pferd_Rob, Pferd_Toni\=Pferd_Lysa, Pferd_Rob\=Pferd_Lysa, Pferd_Toni\=schwarz, Pferd_Rob\=braun, Pferd_Toni\=braun.
