So, for example, could also the whole form of the first syllogism be expressed as its major premise: 'That which is subsumed under another thing in which a third thing inheres has that third thing inhering in it too; but now. .