fact: Definition be2_som7 := Neg (Ors (Ands (Ors (Ands (Neg (Var (Npos 3)) :: Neg (Var (Npos 2)) :: nil) :: Ands (Var (Npos 3) :: Var (Npos 2) :: nil) :: nil) :: Neg be2_cout6 :: nil) :: Ands (be2_cout6 :: Neg (Ors (Ands (Neg (Var (Npos 3)) :: Neg (Var (Npos 2)) :: nil) :: Ands (Var (Npos 3) :: Var (Npos 2) :: nil) :: nil)) :: nil) :: nil)).