context: Anne is not young. Anne is not smart if 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. If Bob is not white then Anne is not the sister of Harry.