import Hammer

example : True := by
  hammer {aesopPremises := 0, autoPremises := 0}