then the premise is apparently of the form
A = AB ꖌ AC;
but in reality there is an unexpressed condition that “what is salt is not fresh,” from which follows, by a process of inference to be afterwards described, that “what is fresh is not salt.” We have then, in letter-terms, the two propositions
B = Bc
C = bC.
If we substitute these descriptions in the original proposition, we obtain
A = ABc ꖌ AbC;
uniting B to each side we infer
| AB | = ABc ꖌ ABbC | |
| or | AB | = ABc; |
that is,
Water which is salt is water salt and not fresh.