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