それとこれは別だよねの典型論理