a != b
a != c
b != c
a != d
a == e
