Fine. But, “not dirty” is not stated, only dirty.
There is no evidence of Line 3 or 4 in the Q-drop.
I may have found the fly in the ointment:
You said: “in formal logic, these two sentences imply nothing...^^unless you already know whether one of the conditions is true^^.”
Q knows which conditions are true. I am convinced Q dropped that “truth”.