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