A ruby gem for deriving proofs in symbolic logic.