Anyone passing their history exams and winning the lottery is happy.
But anyone who studies or is lucky can pass all their exams.
John did not study but he is lucky.
Anyone who is lucky wins the lottery.

Question - Is John happy?