Who is the heaviest man?
A is heavier than C
C is heavier than D
C is heavier than B
D is heavier than B
C is not heavier than A