A1& Workoutstation(CW1)&\\
A2& Workoutstation(CW2)&\\
A3& Workoutstation(CW3)&\\
A4& Workoutstation(CW4)&\\
A5& $\neg$Workoutstation(w82) $\vee$ Equals(w82, CW1) $\vee$ Equals(w82, CW2) $\vee$ Equals(w82, CW3) $\vee$ Equals(w82, CW4)&\\
A6& $\neg$Equals(CW1, CW2)&\\
A7& $\neg$Equals(CW1, CW3)&\\
A8& $\neg$Equals(CW1, CW4)&\\
A9& $\neg$Equals(CW2, CW1)&\\
A10& $\neg$Equals(CW2, CW3)&\\
A11& $\neg$Equals(CW2, CW4)&\\
A12& $\neg$Equals(CW3, CW1)&\\
A13& $\neg$Equals(CW3, CW2)&\\
A14& $\neg$Equals(CW3, CW4)&\\
A15& $\neg$Equals(CW4, CW1)&\\
A16& $\neg$Equals(CW4, CW2)&\\
A17& $\neg$Equals(CW4, CW3)&\\
A18& Situation(CS1)&\\
A19& Situation(CS2)&\\
A20& $\neg$Equals(CS1, CS2)&\\
A21& $\neg$Equals(CS2, CS1)&\\
A22& Athlete(CA1)&\\
A23& Athlete(CA2)&\\
A24& $\neg$Equals(CA1, CA2)&\\
A25& $\neg$Equals(CA2, CA1)&\\
A26& $\neg$Athlete(a84) $\vee$ Equals(a84, CA1) $\vee$ Equals(a84, CA2)&\\
A27& Connects(CW1, CW2)&\\
A28& Connects(CW3, CW2)&\\
A29& Connects(CW1, CW3)&\\
A30& Connects(CW3, CW4)&\\
A31& Connects(CW2, CW3)&\\
A32& Connects(CW2, CW4)&\\
A33& Connects(CW1, CW1)&\\
A34& Connects(CW2, CW2)&\\
A35& Connects(CW3, CW3)&\\
A36& Connects(CW4, CW4)&\\
A37& $\neg$Connects(CW2, CW1)&\\
A38& $\neg$Connects(CW4, CW2)&\\
A39& $\neg$Connects(CW3, CW1)&\\
A40& $\neg$Connects(CW1, CW4)&\\
A41& $\neg$Connects(CW4, CW3)&\\
A42& $\neg$Connects(CW4, CW1)&\\
A43& $\neg$On(a91, w190, s89) $\vee$ $\neg$On(a91, w292, s89) $\vee$ Equals(w190, w292)&\\
A44& Workoutstation(F\_2(a97, s96))&\\
A45& On(a99, F\_2(a99, s98), s98)&\\
A46& $\neg$Unconflicted(s107) $\vee$ $\neg$On(a1109, w108, s107) $\vee$ $\neg$On(a2110, w108, s107) $\vee$ Equals(a1109, a2110)&\\
A47& On(F\_4(a2103, a1102, w101, s111), F\_3(a2103, a1102, w101, s111), s111) $\vee$ Unconflicted(s111)&\\
A48& On(F\_5(a2103, a1102, w101, s112), F\_3(a2103, a1102, w101, s112), s112) $\vee$ Unconflicted(s112)&\\
A49& $\neg$Equals(F\_4(a2116, a1115, w114, s113), F\_5(a2116, a1115, w114, s113)) $\vee$ Unconflicted(s113)&\\
A50& $\neg$On(a121, w2120, CS2) $\vee$ On(a121, F\_6(w2120, a121), CS1)&\\
A51& $\neg$On(a123, w2122, CS2) $\vee$ Connects(F\_6(w2122, a123), w2122)&\\
A52& $\neg$On(a125, w2124, CS2) $\vee$ Allowed(a125, F\_6(w2124, a125), w2124)&\\
A53& $\neg$Allowed(a1133, w1132, w2131) $\vee$ Equals(w1132, w2131) $\vee$ $\neg$Athlete(a2134) $\vee$ $\neg$On(a2134, w2131, CS1)&\\
A54& $\neg$Equals(w1136, w2135) $\vee$ Allowed(a1137, w1136, w2135)&\\
A55& Athlete(F\_7(a2141, w2140, w1139, a1138)) $\vee$ Allowed(a1138, w1139, w2140)&\\
A56& On(F\_7(a2129, w2142, w1143, a1144), w2142, CS1) $\vee$ Allowed(a1144, w1143, w2142)&\\
A57& Unconflicted(CS1)&\\
A58& On(CA1, CW2, CS1)&\\
A59& On(CA2, CW3, CS1)&\\
A60& $\neg$Allowed(CA1, CW2, CW4)&\\
S61& $\neg$On(CA1, w1145, CS1) $\vee$ Equals(w1145, CW2)      &Res(43,58) \{s89/CS1, w292/CW2, a91/CA1\}\\
S62& $\neg$On(CA2, w1146, CS1) $\vee$ Equals(w1146, CW3)      &Res(43,59) \{s89/CS1, w292/CW3, a91/CA2\}\\
S63& $\neg$On(CA1, CW4, CS1)      &Res(61,16) \{w1145/CW4\}\\
S64& $\neg$On(CA2, CW4, CS1)      &Res(62,17) \{w1146/CW4\}\\
S65& On(F\_7(a2147, CW4, CW2, CA1), CW4, CS1)      &Res(56,60) \{w2142/CW4, a1144/CA1, w1143/CW2\}\\
S66& Athlete(F\_7(a2148, CW4, CW2, CA1))      &Res(55,60) \{w2140/CW4, w1139/CW2, a1138/CA1\}\\
S67& Equals(F\_7(a2149, CW4, CW2, CA1), CA1) $\vee$ Equals(F\_7(a2149, CW4, CW2, CA1), CA2)      &Res(66,26) \{a84/F\_7(a2148, CW4, CW2, CA1)\}\\
S68& Equals(F\_7(a2151, CW4, CW2, CA1), CA2) $\vee$ On(CA1, CW4, CS1)      &Para(65,67) \{a2149/a2147\}\\
S69& On(CA1, CW4, CS1) $\vee$ On(CA2, CW4, CS1)      &Para(65,68) \{a2151/a2147\}\\
S70& On(CA2, CW4, CS1)      &Res(63,69) \{\}\\
S71& F      &Res(64,70) \{\}\\