Measuring the semantic distance between sentences by the number of logical inferences to reach one from the other