Y'know, it's funny, I just copy-and-pasted Mia's logic problem into google (because i sure as hell couldn't solve it, it's been more than 20 years since i took symbolic logic), and it became fun to track their attempts to seek answers on various websites. (The OP actually found the most helpful advice on reddit, which is a fact that is interesting in its own right...)
A lot of people on these here internets didn't know what the OP wanted to know, but only here did they receive the sort of bullshit, non sequitur parade of responses you folks offered. Here's a beakdown of this thread: OP asked logic question, Cicerone offered vacuous platitudes, Krumple made glib ontological hypotheses, fresco acted as if he knew what was going on but didn't actually help the OP, layman interjected without understanding the problem, izzythepush posted a meme, Fil challenged everybody in a vague sort of way, and finally Cicerone returned to challenge Fil for supremacy in the matter of ambiguous statements.
What are we doing here? And why are we calling it philosophy?