Enviar por SMS: The Design and Implementation of a Non - Axiomatic Reasoning System