Set: pp::colors
  Set: pp::unicode
  Assumed: a
  Assumed: b
a ∧ b
a ∧ b ∧ a
a ∧ b
a ∧ b
a ∧ b
a ∧ b
a ∨ b
a ∨ b
a ∨ b
a ∨ b
a ∨ a ∨ b
a → b → a
a → b : Bool
a → a
⊤ → a
  Assumed: H1
  Assumed: H2