Theorem: hypothetical_syllogism (Test/Bool/HypotheticalSyllogism.lean)

State before:
p q r : Bool
⊢ (p = true → q = true) → (q = true → r = true) → p = true → r = true
Tactic:
simp_all
State after:
no goals