/*
?- maxnoncom(X).

X is any of

X = [d_1,d_2,d_3,r]
X = [d_1,d_2,d_3,r_2]

order in the list is not important
*/

internal(e,e,e).
internal(e,r,r).
internal(e,r_2,r_2).
internal(e,d_1,d_1).
internal(e,d_2,d_2).
internal(e,d_3,d_3).
internal(r,e,r).
internal(r,r,r_2).
internal(r,r_2,e).
internal(r,d_1,d_2).
internal(r,d_2,d_3).
internal(r,d_3,d_1).
internal(r_2,e,r_2).
internal(r_2,r,e).
internal(r_2,r_2,r).
internal(r_2,d_1,d_3).
internal(r_2,d_2,d_1).
internal(r_2,d_3,d_2).
internal(d_1,e,d_1).
internal(d_1,r,d_3).
internal(d_1,r_2,d_2).
internal(d_1,d_1,e).
internal(d_1,d_2,r_2).
internal(d_1,d_3,r).
internal(d_2,e,d_2).
internal(d_2,r,d_1).
internal(d_2,r_2,d_3).
internal(d_2,d_1,r).
internal(d_2,d_2,e).
internal(d_2,d_3,r_2).
internal(d_3,e,d_3).
internal(d_3,r,d_2).
internal(d_3,r_2,d_1).
internal(d_3,d_1,r_2).
internal(d_3,d_2,r).
internal(d_3,d_3,e).