theorem sam_makes_mistakes
theorem sam_makes_mistakes
(logic_is_actual : LogicIsActual)
(i_am_a_person : A (Person.Is Sam))
(everyone_makes_mistakes : A EveryoneMakesMistakes)
: A (Sam makes-mistakes)