APPROVED
Jeremy J. Carroll
This non-entailment can be replicated for any three natural numbers
i
,
j
,
k
such that
i
+
j
<
k
. In this example, they are chosen as 200, 300 and 600.