context: Charlie is not kind. Harry is not smart. Harry is nice if Charlie is not kind. Harry is not Anne's brother if Harry is nice. If Harry is smart and Harry is not Anne's brother then The wife of Fiona is not Charlie.