x \in A \setminus B \ i\ x \in C \ ili\ x \notin A \setminus B \ i\ x \notin C \newline
x \in A \setminus B \ i\ x \in C \ ili\ x \notin A \ i\ x \notin C \ i\ x \in B \newline
x \in A \setminus B \ i\ x \in C \ ili\ x \in B \setminus (A \cup C)