Describir: A Simple Automation of a Peircean Decision Procedure.