TIMEOUT
MAYBE
Trs:
 {a c -> ,
  a d -> d c b a,
  b c -> c d a b,
  b d -> }
 Open