A revamped syllogism generator and validator (from my original PHP project)