A formal logic interpreter