!(B && C) && !(B && E) && !(B && D && F) && !(C && E) && !(D && F && G)