транзитивность

[ai\ekcah^p]

Процедура неверно определяет транзитивность, помогите найти ошибку

     procedure tranzityvnost1( mass:vector);
(Отношение а * b называется транзитивным, если из а * b и b * c вытекает, что а * c. Например, отношение равенства (а = b) транзитивно, так как из а = b и b = с вытекает а = с.)

     var Res: boolean;
     begin
      writeln;
      write('raschet tranzityvnosti: ');
      Res := True;

               for i:=1 to r-2 do
                for j:= i+1 to r-1 do
                 for k:= j+1 to r do
                          if (mass[i,j] = '1')
                             and (mass[j,k] = '1') then
                              if mass[i,k] = '0'
                          then Res := False;

           if Res
           then writeln('binarnoe otnoshenie tranzityvno')
           else writeln('binarnoe otnoshenie NE tranzityvno');
                end;