context: Gary is rough. The husband of Dave is not Bob. If Erin is red then Anne is not smart. Fiona is not the daughter of Dave if Anne is not smart. If Gary is not rough or Bob is the husband of Dave then Erin is not red.