Доказательство от противного.
Предположим, что Стив не пьет воду. Но когда я вынул его из клетки, у него было мокрое брюхо. Следовательно, он писает. Но если изначальное предположение верно, то писать ему было бы просто нечем. Таким образом, это утверждение ложно, и Стив воду все-таки пьет.