ZebraLogicBench / lgp-test-5x4-2 / There are 5 houses, numbered 1 to 5 from left to right, as seen from across the…

Problem

Answer withheld by the source. The source withholds the answer, so it is not available here for checking your work.

There are 5 houses, numbered 1 to 5 from left to right, as seen from across the street. Each house is occupied by a different person. Each house has a unique attribute for each of the following characteristics:
 - Each person has a unique name: `Bob`, `Eric`, `Arnold`, `Alice`, `Peter`
 - Each person has a favorite color: `blue`, `green`, `white`, `yellow`, `red`
 - People use unique phone models: `huawei p50`, `samsung galaxy s21`, `oneplus 9`, `iphone 13`, `google pixel 6`
 - Each person has an occupation: `artist`, `teacher`, `doctor`, `engineer`, `lawyer`

## Clues:
1. The person who is an engineer is somewhere to the right of the person who is a lawyer.
2. Bob is in the second house.
3. The person who uses a Samsung Galaxy S21 is the person who is a doctor.
4. The person who is a doctor is the person who loves blue.
5. The person whose favorite color is green is not in the fifth house.
6. The person who is a lawyer is the person who uses a OnePlus 9.
7. The person who loves blue is directly left of the person whose favorite color is red.
8. The person who is a lawyer is somewhere to the right of the person who uses a Samsung Galaxy S21.
9. There is one house between the person who uses a Google Pixel 6 and the person who uses a Huawei P50.
10. Arnold is the person who is an engineer.
11. Alice is the person who loves yellow.
12. The person who uses a Google Pixel 6 is Eric.
13. The person who uses a Google Pixel 6 is the person who is a teacher.
14. The person whose favorite color is red is somewhere to the right of the person who is a teacher.

5*4

Discussion

Discussion

No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Why there is no answer to show Answer withheld by the source

Artifacts

Code, notes and reproducible work shared by participants. Files are served from a separate origin.

No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Source and history

upstream_id / Original problem ID

lgp-test-5x4-2

task_id

a13f3d45-8da8-5501-865b-0e40de1289c0

task_key

grid~5fmode--test--lgp~2dtest~2d5x4~2d2

task_revision_id

3

config / split

grid_mode / test

Official source

initial import