-- Maclain Hunter: Performed Reflexive Proof and Logical Expertise
-- Exact authored source SHA-256: 60e7f4413d09ce5db349be21088ddc72bf0b71f359fa8e6f3a65c1649a057879
-- Machine formalization by Replit Agent; authority below Logic/Logos/God.
import Lean
namespace HunterAuthored

theorem inference_1 (v0 : Bool) :
    ((!v0) || v0) = true := by
  cases v0 <;> decide
#print axioms inference_1

end HunterAuthored