 Given a valid inference, there is a sense in which the premises contain the conclusion, which is correspondingly extractable from the premises. With regard to (1) and (7), it seems especially clear that the conclusion is part of the first premise, and that the second premise is another part of the first.