context: Anne is not young. Anne is not smart if Anne is not young. If Anne is not smart then Dave is smart. The wife of Fiona is Charlie if Dave is smart. Bob is not white if The wife of Fiona is Charlie. Anne is the sister of Harry if Bob is not white.