Home Game Casual Logic and deduction