전제: 침대는 킹사이즈로 두명이 사용해도 넉넉합니다.
함의: 침대 사이즈는 킹사이즈입니다.
모순: 무조건 두명이 사용해야합니다.