测试一个图形是不是三角形，需考虑到三角形的性质要求。除了满足A B C均是正数且大于0，还需满足
A>0，B>0，C>0，且A+B>C，B+C>A，A+C>B。
如果是等腰的，还要判断A=B，或B=C，或A=C。
如果是等边的，则需判断是否A=B，且B=C，且A=C。
输入条件
有效等价类
无效等价类
是否三角形的三条边
（A>0）， （1）
（B>0）， （2）
（C>0） （3）
（A+B>C）（4）
（B+C>A）（5）
（A+C>B）（6）
（A≤0）， （7）
（B≤0）， （8）
（C≤0）， （9）
（A+B≤C）， （10）
（B+C≤A）， （11）
（A+C≤B）， （12）
是否等腰角形
（A=B）， （13）
（B=C）， （14）
（C=A）， （15）
（A≠B）and（B≠C）and（C≠A） （16）
是否等边三角形
（A=B）and（B=C）and（C=A）
（17）
（A≠B）， （18）
（B≠C）， （19）
（C≠A）， （20）
序号
【A，B，C】
覆盖等价类
输出
1
【3，4，5】
（1），（2），（3），（4），（5），（6）
一般三角形
2
【0，1，2】
（7）
不能构成三角形
3
【1，0，2】
（8）
4
【1，2，0】
（9）
5
【1，2，3】
（10）
6
【1，3，2】
（11）
7
【3，1，2】
（12）
8
【3，3，4】
（1），（2），（3），（4），（5），（6），（13）
等腰三角形
9
【3，4，4】
（1），（2），（3），（4），（5），（6），（14）
10
【3，4，3】
（1），（2），（3），（4），（5），（6），（15）
11
【3，4，5】
（1），（2），（3），（4），（5），（6），（16）
非等腰三角形
12
【3，3，3】
（1），（2），（3），（4），（5），（6），（17）
是等边三角形
13
【3，4，4】
（1），（2），（3），（4），（5），（6），（14），（18）
非等边三角形
14
【3，4，3】
（1），（2），（3），（4），（5），（6），（15），（19）
15
【3，3，4】
（1），（2），（3），（4），（5），（6），（13），（20）