Burger is not popular.
All OS are software. All Mac are OS. An OS is either Mac or Windows. All Windows are convenient. All software has code. If something is convenient, then it is popular. Burger is a piece of code and a Mac. PyTorch is either Windows and software, or neither Windows nor software.
∀x (OS(x) → Software(x)) ∀x (Mac(x) → OS(x)) ∀x (Mac(x) ∨ Windows(x)) ∀x (Windows(x) → Convenient(x)) ∀x (Software(x) → Code(x)) ∀x (Convenient(x) → Popular(x)) Code(burger) ∧ Mac(burger)) (Windows(pytorch) ∧ Software(pytorch)) ⊕ (¬Windows(pytorch) ∧ ¬Software(pytorch))