theorem Equation4656_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation4656 G ∧ ¬Equation26302 G

theorem Equation4656_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation4656 G ∧ ¬Equation345169 G

theorem Equation4065_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation4065 G ∧ ¬Equation26302 G

theorem Equation4065_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation4065 G ∧ ¬Equation345169 G

theorem Equation381_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation381 G ∧ ¬Equation26302 G

theorem Equation381_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation381 G ∧ ¬Equation345169 G

theorem Equation936498_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation936498 G ∧ ¬Equation26302 G

theorem Equation936498_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation936498 G ∧ ¬Equation345169 G

theorem Equation4315_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation4315 G ∧ ¬Equation26302 G

theorem Equation4315_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation4315 G ∧ ¬Equation345169 G

theorem Equation916037_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation916037 G ∧ ¬Equation26302 G

theorem Equation916037_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation916037 G ∧ ¬Equation345169 G

theorem Equation8_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation8 G ∧ ¬Equation26302 G

theorem Equation8_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation8 G ∧ ¬Equation345169 G

theorem Equation3744_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation3744 G ∧ ¬Equation26302 G

theorem Equation3744_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation3744 G ∧ ¬Equation345169 G

theorem Equation4522_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation4522 G ∧ ¬Equation26302 G

theorem Equation4522_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation4522 G ∧ ¬Equation345169 G

theorem Equation42_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation42 G ∧ ¬Equation26302 G

theorem Equation42_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation42 G ∧ ¬Equation345169 G

theorem Equation3_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation3 G ∧ ¬Equation26302 G

theorem Equation3_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation3 G ∧ ¬Equation345169 G

theorem Equation4_not_implies_Equation26302 : ∃ (G : Type) (x : Magma G), Equation4 G ∧ ¬Equation26302 G

theorem Equation4_not_implies_Equation345169 : ∃ (G : Type) (x : Magma G), Equation4 G ∧ ¬Equation345169 G