If you still don't understand how to figure out if a collection of "pure monadic" sentences is consistent, you might want to read "Fun with Algorithms".
Here is the handout on semantics for the predicate calculus. (Revised on Fri, Apr 08) The original handout said to read the handout on disjunctive normal form. By "handout", I meant Appendix A of Lemmon's book.