a:=ref(o，1)& lt；ref(c，1)和(ref(h，1)-ref(c，1))/(ref(c，1)-ref(o，1))& gt；2和(ref(c，1)-ref(o，1))& gt；(ref(o，1)-ref(l，1))；
b:= o & lt；c和(o-l)/(c-o)>2和(c-o)>(h-c)；
a和b；
第二個:
a:=ref(o，1)& lt；ref(c，1)和ref(o，1)-ref(l，1)>ref(c，1)-ref(o，1)和ref(c，1)-ref(o，1)>ref(h，1)-ref(c，1)；
b:= o & lt；c和o-l & gt；碳氧和碳氧& gth-c；
a和b；
第三個:
ref(o，1)>ref(c，1)和o & ltref(c，1)和c & gto和o-l & gt；h-c；