Let $[H,G]$ be a rank $2$ boolean interval of finite groups.
It is true in each of the following cases:
- $|G:H| = 2p$ with $p$ prime (see below)
- $|G:H|<36$ (using GAP and $34=2 \cdot 17$)
- $G$ simple with $|G| \le 50000$ (by GAP)
For $|G:H| = 2p$ the proof is the following: if $|G:K_i| = 2$ then $K_i$ is a normal subgroup of $G$. It follows that $H=K_1 \cap K_2$ is also normal so $[1,G/H] \simeq [H,G]$ boolean, so by Ore's theorem $G/L$ is cyclic, but with two subgroups of index $2$, contradiction.
Application: Assuming Statement 1 true, we can prove the following:
Statement 2: Let $[H,G]$ be a boolean interval of rank $>1$, then there is a coatom $L$ of $[H,G]$ with $|L:H|≡|G:H|($mod $ 2)$.
Proof: if $|G:H|$ is odd, it is immediate, so we can assume that $|G:H|$ is even. If for every coatom $L$, $|L:H|$ is odd, take two coatoms $L_1$ and $L_2$, then $[L_1 \wedge L_2,G]$ is a rank $2$ boolean interval which contradicts Statement 1. $\square$
Statement 3: Let $[H,G]$ boolean, then there is an atom $K$ with $|K:H|≡|G:H|($mod $ 2)$.
Proof: Idem we can assume that $|G:H|$ is even. We prove by induction on the rank of $[H,G]$. It is immediate at rank $1$. Assume it is true at rank $<n$. For $[H,G]$ of rank $n$, by Statement 2, there is a coatom $L$ with $|L:H|$ even, but $[H,L]$ is a rank $n-1$, the result follows. $\square$
Note that Statement 3 implies Statement 1, so all these statements are equivalent.