a=b ならば、c1<>c2

c1=c2 なら、c3 が答え

c1!=c2 なら
c1<>c3 して、c1=c3 なら、c2 が、c1!=c3 なら、c1 が答え。