formulas(assumptions).
  (L1 & T2 & E3) |   (L1 & E2 & T3) |   (T1 & L2 & E3) |   (T1 & E2 & L3) |   (E1 & L2 & T3) |   (E1 & T2 & L3) .
   (L1 -> -T1 & -E1) & (L2 -> -T2 & -E2) & (L3 -> -T3 & -E3).
  (T1 -> -L1 & -E1) & (T2 -> -L2 & -E2) & (T3 -> -L3 & -E3).    
  (L1 -> R1) & (L2 -> R2) & (L3 -> R3).  
  (T1 -> -R1) & (T2 -> -R2) & (T3 -> -R3).  
  R1 <-> E3.
  R2 <-> T1.
  R3 <-> E3.
end_of_list.

formulas(goals).
  L1.
end_of_list.