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. Charlie is the wife of Fiona if Harry is smart and The brother of Anne is not Harry.