logic puzzle subgroup of puzzle, 2 assertions