 Note that, in terms of set-theory, only trivial consequences follow from these premises. However, an Euler diagram of the premises, such as Figure 5, leads to the incorrect conclusion that A ∩ B  ∩ C  ∩ D  ≠ ∅ (due to the quadruple overlap region in the centre of the diagram): 