context: Charlie is not kind. Fiona is cold. Harry is nice if Charlie is not kind. Harry is not Anne's brother if Harry is nice. Charlie is not the wife of Fiona if Fiona is cold and The brother of Anne is not Harry.