English Logical Inference - Version 1.0 INFER (Logical Inference(s) in English) is a software program capable of making logical inferences based on simple sentences. For example if we type in " John shot a partridge", the program will print out "John is a hunter". If we type in "John married Ann", the program will print out "John is husband of Ann", "Ann is wife of John", etc. Works only on selected simple sentences and their equivalents in meaning.