context: Harry is Bob's daughter. 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 Fiona is red and Charlie is kind then Anne is Fiona's aunt.