answer(M):-
  suppliers(S,M,_),
  supply(S,P1,J1,_), supply(S,P2,J1,_), P1 <> P2,
  supply(S,P3,J2,_), supply(S,P4,J2,_), P3 <> P4,
  J1 <> J2.
$