| http://www.w3.org/ns/prov#value | - Our ???syllogism??? which swaps out B for C at the last moment is not a syllogism; however, it could be the conclusion of a valid sorites if we introduced a second syllogism, the conclusion of which was ???Every case in which B is true, is a case in which C is true as well.???
|
