context: Harry is Bob's daughter. Erin is Bob's husband. 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. Gary is not Charlie's wife if Erin is round and The husband of Bob is Erin.