@WillowBound2 Thanks! This one got me

@new_cheese I 100% agree with your logic, although the phrase "It's always sunny in Philadelphia" isn't factually true either, it is just the title of a funny show.

But to piggy back off of the "Necessary" indicator, being "always"...anything coming after "always" needs to be on the right side of the arrow... hence: Philly --> Sunny and the contrapositive /Sunny -->/Not Philly. Not rooted in reality at all, so I would agree this is one of those over-inclusive cases.

But in this world of Lawgic, it goes!

@MoeDe2013 I imagine it would be something like this