nafmupli lujvo

x1 is a counterexample of property x2, normally exemplified by set x3

In notes:

natfe
x1 (du'u) contradicts/denies/refutes/negates x2 (du'u) under rules/logic x3.
tolxu'a
x1 (agent) denies that x2 (du'u) is true.