nr(1).
nr(2).
nr(3).
nr(4).
nr(5).
nr(6).
nr(7).
nr(8).
nr(9).
nr(10).
nr(11).
nr(12).
nr(13).
nr(14).
nr(15).
nr(16).
nr(17).
nr(18).

mathRiddle(A1,A2,A3) :- nr(A1), nr(A2), nr(A3), A1 > A2, A2 >= A3,
        36 is A1 * A2 * A3,
        nr(B1), nr(B2), nr(B3), B1 >= B2, B2 >= B3,
        A1 =\= B1,
        36 is B1 * B2 * B3,
        AS is A1 + A2 + A3,
        BS is B1 + B2 + B3,
        AS = BS.