didni experimental gismu

x1 deduces/reasons by deduction/establishes by deduction that x2 is true about x3 from general rule x4

See nibji'i, nusna, lanli, jdice, logji, nibli

In notes:

nusna
x1 induces x2 about x3 from specific facts x4
indika
x1 (event/state) implies / suggests / is circumstantial evidence for x2 (du'u); the probability that x2 is true, given x1, is greater than the probability without x1