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