context: Harry is Bob's daughter. The daughter of Erin is not Bob. Anne is not Fiona's aunt if Fiona is red. If Harry is green then Fiona is red. If Harry is the daughter of Bob and The daughter of Erin is Bob then Harry is not green.