If tree and stone cannot both apply to one thing, but both may fail to apply, what is the first disjunctive kind?

Further Conditional Divisions, Quantification and Conditional Quantifiers