tolkri lujvo

x1 disbelieves/rejects x2 as false about x3.

See also ianai