(A<=>B) AND (C=>D) AND (D=>F) AND (E=>F) AND (F=>G) AND (G=>H)