Solve boolean3