Translations

Translate ENG to FOL

100

If c is a dodecahedron, then a is a cube 

Dodec(c) → Cube(a)

200

If a and b are dodecahedrons, then a is to the right of b

(Cube(a) ∧ Cube(b)) → RightOf(a, b)

300

d is a cube if and only if c is either small or large

Cube(d) ↔ (Small(c) ∨ Large(c))

400

If b and c are large cubes, then either a is to the left of e or f is a dodecahedron.

(Cube(b) ∧ Large(b) ∧ Cube(c) ∧ Large(c)) → (LeftOf(a,e) ∨ Dodec(f))

Translate FOL to ENG

100

Large(a) ↔ Cube(a)

a is large if and only if it is a cube / or / a is large if and only if a is a cube

200

RightOf(c,d) ↔ (RightOf(b,c) ∨ LeftOf(b,e))

c is to the right of d if and only if b is to the right of c or left of e

300

Dodec(a) → (Larger(b,d) ∧ Larger(b,e))

If a is a dodecahedron, then b is larger than both d and e

400

¬Tet(a) → ¬FrontOf(a,d)

If a is not a tetrahedron, then it is not in front of d.