noun something that is inferred (deduced or entailed or implied)
noun a meaning that is not expressly stated but can be inferred
noun a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
Source: WordNet 3.1, Princeton University
