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