answer(S):- 
  supply(S,P1,'J1',_), supply(S,P2,'J1',_),supply(S,P3,'J1',_), 
  P1 <> P2, P2 <> P3, P1 <> P3.
$