 The argument is valid and (14) is clearly true. If x has a part that instantiates F and a part that instantiates G, then, provided that these properties are incompatible, the parts in question are not identical. So x has at least two parts. So at least one of them must be a proper part of x, in which case x is not simple.