細かいけど、

p1 が不一致 ⇒ x1, x2, p1 のいずれかが誤り
p4 が不一致 ⇒ x2, x4, p4 のいずれかが誤り

だよな