47 !=> 1518, 2910

Stream: Equational

[Jihoon Hyun]

github issue
The magma [[0, 0], [0, 1]] which satisfies 47 (x = x ◇ (x ◇ (x ◇ x))) won't satisfy 1518 (x = (y ◇ y) ◇ (x ◇ (y ◇ x))) and 2910 (x = ((y ◇ (x ◇ y)) ◇ x) ◇ y).
Sorry, I misinterpreted the explorer..