У 3-й коробці з написом "жовтий або зелений" лежить червоний олівець, бо ні жовтий, ні зелений згідно з умовою (напис не відповідає дійсності) там лежати не може.
У 1-й коробці лежить зелений. Це випливає з того, що оскільки напис не відповідає дійсності, то в 1-й коробці має лежати зелений або червоний олівець. Але оскільки вже з'ясовано, що червоний лежить у 3-й коробці, то в 1-й лежить зелений.
У 2-й коробці, відповідно, лежить жовтий олівець.