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