Question 1 b)
Add the condition (a is not equal to c) to (i) or else your proof 
for antisymmetry will break :)