Lets define terms again:

    P = A +1/+1 counter was placed on Nadir
    Q = A 1/1 blue creature token was created

    X = 1 mana was paid
    Y = Counters can be placed
    Z = Tokens can be created

The scenario you proposed:

    X
    ¬Y
    Z

If the cost is payed, as much as possible must be done. As such, this statement must be true:

    X → ( (¬Y ∧ ¬P) ∨ (Y ∧ P) ) ∧ ( (¬Z ∧ ¬Q) ∨ (Z ∧ Q) )

Since X, we know the following must be true:

    ( (¬Y ∧ ¬P) ∨ (Y ∧ P) ) ∧ ( (¬Z ∧ ¬Q) ∨ (Z ∧ Q) )

Since ¬Y, and since Z, we know the following must be true:

    ¬P ∧ Q