> For a given value of {knowledge}, there are values of {number} and {bigger number} for which that statement is true. There are other values for which it is false.

Actually, there are values of {number} and {bigger number} for which that statement is true regardless of the value of {knowledge}.

I suspect that there are values for which it is always false as well.