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. Erin is red if Gary is not rough or The husband of Dave is Bob.