(! B )
  ? A
  :(
    (E and F)
      ? (C and D)
      : undef
  );