That example is particularly fishy. The truthiness of a statement is not part of the statement itself, so any explicitly stated truth value is not inconsistent with truthiness, rather it is meaningless.

It’s like saying

    bool isTrue = true;
    bool isProvable = false;
    bool isTrueAndProvable = isTrue && isProvable; // false