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