  - Test passed: not false
  - Test passed: {1, 2} =!= {2, 1}
  - Test passed: ∃a, b. (a /\ b) =!= (a \/ b)
    Found example:
      a = false
      b = false
  - Test result mismatch for: ∀a, b. (a /\ b) =!= (a \/ b)
    - Left side:  false
    - Right side: true
    Counterexample:
      a = false
      b = true
