1. A method of processing a language, comprising: inputting data in a formal, speakable language; parsing the input data into an internal format in such a way that a memory of an original grammar structure present in the input data is retained; comparing the parsed input data with previously stored data in a data/knowledge base to prove, disprove or determine if the parsed data is plausible; storing results of the evaluation in the data/knowledge base.