 —giving the following examples: [All \(i\) are \(k\)] is deducible from [All \(i\) are \(j\)] and [All \(j\) are \(k\)] , and [\(\angle ijk = \angle ikj\)] is deducible from [\(i, j, k\) are the three vertices of a triangle] and [\(\overline{ij}\) = \(\overline{ik}\)], in both cases with respect to \(i, j, k\).