nibji'i lujvo

j1 concludes that n1 (du'u) logically implies n2 under rules n3.

Cf. nibli, jinvi, lojycpa, ja'o.

In notes:

lojycpa
x1 infers/concludes/draws conclusion x2 from premise x3 based on logic/reasoning x4.
didni
x1 deduces/reasons by deduction/establishes by deduction that x2 is true about x3 from general rule x4
nusna
x1 induces x2 about x3 from specific facts x4