Определить, кто выиграл этап гонки "Формула 1"

name(shumaher).
name(alezi).
name(hill).
mesto(one).
 
accordance(X1,X3,Y1,Y3):-
    name(X1), X1 = shumaher, name(X3), X3 = hill, 
                   mesto(Y1), Y1 = not(один), mesto(Y3), Y3 = один;
                   name(X1), X1 = shumaher, name(X3), X3 = hill, 
                   mesto(Y1), Y1 = один, mesto(Y3), Y3 = not(один).
 
accordance(X1,X2,Y1,Y2):-
    name(X1), X1 = shumaher, name(X2), X2 = alezi, 
                   mesto(Y1), Y1 = один, mesto(Y2), Y2 = not(один);
                   name(X1), X1 = shumaher, name(X2), X2 = alezi, 
                   mesto(Y1), Y1 = not(один), mesto(Y2), Y2 = один.
 
accordance(X3,Y3):-
                   name(X3), X3 = hill,
                   mesto(Y3), Y3 = not(один);
                   name(X3), X3 = hill, 
                   mesto(Y3), Y3 = один.
 
  
solution(X1, X2, X3, Y1, Y2, Y3) :- 
    X1 = shumaher, 
    X2 = alezi, 
    X3 = hill,
    Y1 = one,
    Y2 = one,
    Y3 = one,
    accordance(X1, X3, Y1, Y3), 
    accordance(X1, X2, Y1, Y2),
    accordance(X3,Y3).