((and (= side1 side2) (= side2 side3)) 'equilateral)
      ((or (= side1 side2) 
           (= side2 side3)
           (= side3 side1))
       'isoceles)