Premise: If that is not enough, there are also swimming pool, jacuzzi, sauna, and gymnasium.

Hypothesis: There is a pool but no sauna.
Relation: contradiction