Describir: Discovering formal logic