Validity of a modal argument about "vagueness" (2nd version to make explicit my implicit assumptions about A, B and C, and the definitions of the non-logical constants &quot;⊂&quot; and &quot;≡&quot;.)
Intuitively, the following modal argument seems valid to me and to other people. However, can it be formally proved valid? Or proved not valid?
Definition: &quot;◇p&quot; means &quot;We don't know that not p&quot;.
Definition: &quot;◻p&quot; means &quot;We know that p&quot;.

∃A
∃B
∃C
∀x, ∀y, ∀z, ((x ⊂ y) ∧ (y ⊂ z) → (x ⊂ z))
∀x, ∀y, ((x ⊂ y) ∧ (y ⊂ x) → (x ≡ y))
◇(A ⊂ C)
◻(B ⊂ C)
∴ ◇(A ≡ B)

Or, in ordinary language, where &quot;⊂&quot; means set inclusion and &quot;≡&quot; means identity:

A, B and C exist
A may be some part of C
B is some part of C
Therefore, A and B may be the same part of C

I'm researching expressiveness of modal logic, i.e. to what extent modal logic can express the kind of assertions people make using some ordinary, informal language.
The particular relation identified in the argument here, which I think we can best describe as one of vagueness, seems to polarise the population surveyed into (mainly) two groups, and broadly equal in size: those who accept the argument as valid, and those who do not. However, those who do not accept validity appear for the moment, as I see it, unable to articulate a conclusive rationale in favour of invalidity.
The only substantial rationale for invalidity offered so far is to exhibit an interpretation of A, B and C which keeps both premises true but makes the assertoric version of the conclusion, i.e. &quot;Therefore, A is the same as B&quot;, false. This is sometimes loosely qualified as a form of &quot;undistributed term&quot;.
However, I take this to be inconclusive as it doesn't preclude other interpretations of A, B and C that make true the same assertoric conclusion &quot;Therefore, A is the same as B&quot;. So, A and B may be the same. QED.
As I see it, there is nothing in the premises that implies that A and B are necessarily different. This in turn implies that they are possibly the same, which is the conclusion of the argument. QED.
Isn't that good enough?
How about just a blanket statement with no assumptions: 


  A and B may be the same part of C


This would seem to be valid by the same reasoning! However it is only so if "may" ranges over all models of the language. If, as is usual, "may" only ranges over the possible worlds in a single model, it is not valid.