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

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