Rulebreakers Challenge: Revealing a Blind Spot in Large Language Models' Reasoning with Formal Logic