If he hadn't eaten so much,
he is not in bed now.
he was not in bed now.
he cannot be in bed now.
he would not be in bed now.