If Mike wears the same flannel shirts every day or does not like shopping for clothes, then Mike is neither an old person living in a stable home nor does he like shopping for clothes.
(∃y (flannelShirt(y) ∧ WearEveryday(mike, y)) ∨ ¬LikeShoppingFor(mike, clothes)) → ¬(Old(mike) ∧ LiveIn(mike, stableHome)) ∧ ¬LikeShoppingFor(mike, clothes)