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