Update 2c_formal_logic_challenge.rb