assign(max_models,-1).
assign(domain_size,2).

formulas(assumptions).
  L1 & L2 | L1 & T2 | L2 & T1 | T1 & T2.
 (L1 -> -T1) & (L2 -> -T2).
 (R2 & R1) | (-R2 & -R1).

  L1 ->  R1.
  T1 -> -R1.
  L2 -> -R2.
  T2 ->  R2.
 
  R1 <-> (L1 & L2) | (T1 & T2).
  R2 <->  L1.
end_of_list.
