First Order Logic Exercises For Adults