你无权替你的祖先原谅日本人，所以你也无权替你的祖先仇恨日本人

我们定义 y 为你，a为你的祖先，j为日本人，P(x, o, z)代表x 替 z 原谅 o，H(x, o, z)代表x 替 z 仇恨 o，R(A)代表任何人有权去做行为 A，可以推导出R(P(y, j, a)) <-> R(H(y, j, a)),你有权替祖先原谅日本人当且仅当你有权替祖先仇恨日本人，可以有以下证明：

1. ¬R(P(y, j, a)) 你无权替你的祖先原谅日本人 

2. ¬R(H(y, j, a)) 所以你也无权替你的祖先仇恨日本人

证毕。