A se uma pessoa come muito então é gorda.
B se uma pessoa não é gorda então não come muito.
C se uma pessoa não come muito então não é gorda.
D existe uma pessoa gorda que não come muito.
E não existe pessoa que coma muito e não seja gorda.