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