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

formulas(goals).
  L1.
end_of_list.