forms

((FORALL ?x ?y)
  (SegmentEq ?x ?y ?y ?x))

((FORALL ?u ?v ?x ?y)
  (=> (SegmentEq ?u ?v ?x ?y) (SegmentEq ?x ?y ?u ?v)))

((FORALL ?u ?v ?x ?y)
  (=> (SegmentEq ?u ?v ?x ?y) (SegmentEq ?v ?u ?x ?y)))

((FORALL ?x ?y ?z)
  (=> (Triangle ?x ?y ?z) (Triangle ?y ?z ?x)))

((FORALL ?x ?y ?z)
  (=> (Triangle ?x ?y ?z) (Triangle ?y ?x ?z)))

((FORALL ?u ?v ?w ?x ?y ?z)
  (=> (Congruent ?u ?v ?w ?x ?y ?z)
      (AND (AngleEq ?u ?v ?w ?x ?y ?z) 
           (AngleEq ?v ?u ?w ?y ?x ?z)
           (AngleEq ?u ?w ?v ?x ?z ?y))))

((FORALL ?u ?v ?w ?x ?y ?z)
  (=> (AND (Triangle ?u ?v ?w) (Triangle ?x ?y ?z) 
           (SegmentEq ?u ?v ?x ?y) (SegmentEq ?v ?w ?y ?z) 
           (SegmentEq ?u ?w ?x ?z))
      (Congruent ?u ?v ?w ?x ?y ?z)))
