Text this: The Design and Implementation of a Non - Axiomatic Reasoning System