전제: 두개의 방에 킹사이즈 침대가 두개 있구요.
함의: 침대는 킹사이즈입니다.
모순: 방은 하나뿐입니다.