Mock doubt, a Q about equals contract

[Costa lamona]

The following is from K & B Mock exam 1

x = 0; 
if (x1.hashCode() != x2.hashCode()) x = x + 1;  
if (x3.equals(x4)) x = x + 10;
if (x5.equals(x6) == true) x = x + 100;
if (x7.hashCode() == x8.hashCode()) x = x + 1000;
System.out.println("x = " + x);

if the output is "x = 1111", which of the following will always be true ?

All my answers counted as wrong, and the correct answer is
x2.equals(x1) == true;

This is an error isn't it, specially this one should always be false
if it become true, then the equals() contract will not be applied.

[Sanjeev Singh]

I think this must be
x7.equals(x8) == true or x8.equals(x7) == true;
x2.equals(x1) may results to true or false.

[Costa lamona]

Thanks

Originally posted by Sanjeev Kumar Singh:
I think this must be
x2.equals(x1) may results to true or false.

Actually, I beleive it can be true because the contrapositive of one of
the statments in the hashCode() contract is

if x.hashCode() != y.hashCode() returns true, then x.equals(y) must return false.

K & B on page 534.

Do you agree ?

[Sanjeev Singh]

I revisited the hashCode() and equal() contract.I think I have given wrong explanation.

if x.hashCode() != y.hashCode() returns true, then x.equals(y) must return false.

Yes I agree on this.So it is not neccessary that x.equals(y)must not return true.
Now coming to the original question

x = 0; 
if (x1.hashCode() != x2.hashCode()) x = x + 1;  
if (x3.equals(x4)) x = x + 10;
if (x5.equals(x6) == true) x = x + 100;
if (x7.hashCode() == x8.hashCode()) x = x + 1000;
System.out.println("x = " + x);

x3.hashCode()==x4.hashCode() must return true and
x5.hashCode()==x6.hashCode() must return true