x \in (A\cup B)\backslash (B \cap A) \Rightarrow x \in (A \cup B) \land x \notin (A \cap B) \Rightarrow (x \in A \lor x \in B) \land ((x \in (A \cap B) \lor (B \cap A)) \Rightarrow ...