Suy luận logic

Một lập trình viên trước khi đi ngủ đặt lên tủ 2 cái ly:
- Một ly có nước để phòng nếu đêm muốn uống nước.
- Một ly không có nước để dùng trong trường hợp không muốn uống.