context: Harry is Bob's daughter. Dave is white. 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 the wife of Charlie if Erin is round and Dave is white.