We shall then be able to say truly that entails when and only when we are able to say truly that follows from or is deducible from in the sense in which the conclusion of a syllogism in Barbara follows from the two premisses, taken as one conjunctive proposition; or in which the proposition This is coloured follows from This is red.