. . . . "(logic) an inference that follows directly from the proof of another proposition" . . "Wordnet Synset 05788560-n" . .